add-node
01Command Claude Code
Add a node to a semantic proof graph.
144 2mo ago A 8 tokens
original MIT
cancel-ralph
02Command Claude Code
To cancel the Ralph loop.
144 2mo ago A 0 tokens
original MIT
edn-to-lean
03Command Claude Code
Convert EDN proof to Lean 4 formalization.
144 2mo ago A 10 tokens
original MIT
Command Claude Code
Extract verified subgraph as independent lemma.
144 2mo ago A 7 tokens
original MIT
fix-sorries
05Command Claude Code
Systematically eliminate sorry statements from Lean 4 proofs.
144 2mo ago A 10 tokens
original MIT
init-graph
06Command Claude Code
Initialize a new semantic proof graph.
144 2mo ago A 6 tokens
original MIT
ralph-loop
07Command Claude Code
Execute the setup script to initialize the Ralph loop.
144 2mo ago A 0 tokens
original MIT
stats
08Command Claude Code
Display graph statistics.
144 2mo ago A 3 tokens
original MIT
status
09Command Claude Code
Quick project status check - git, build, beads, sorries.
144 2mo ago A 13 tokens
original MIT
Command Claude Code
Update node verification status in a proof graph.
144 2mo ago A 8 tokens
original MIT
Command Claude Code
Validate semantic proof graph EDN files against the Alethfeld schema.
144 2mo ago A 13 tokens
original MIT
verify-proof
12Command Claude Code
Adversarial verification of EDN or Lean proofs with maximum rigor.
144 2mo ago A 13 tokens
original MIT
Instructions file CodexOpenCode
Instructions for tobiasosborne/alethfeld, covering agent instructions, quick reference, starting a new work session and landing the plane (session completion).
144 2mo ago A 444 tokens
original MIT