add-node
01Command Claude Code
Add a node to a semantic proof graph.
not rated 144 3mo ago A 8 tokens
original MIT
144Stars on the repository
13Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
cancel-ralph
02Command Claude Code
To cancel the Ralph loop.
not rated 144 3mo ago A 0 tokens
copy · 91% MIT
edn-to-lean
03Command Claude Code
Convert EDN proof to Lean 4 formalization.
not rated 144 3mo ago A 10 tokens
original MIT
Command Claude Code
Extract verified subgraph as independent lemma.
not rated 144 3mo ago A 7 tokens
original MIT
fix-sorries
05Command Claude Code
Systematically eliminate sorry statements from Lean 4 proofs.
not rated 144 3mo ago A 10 tokens
original MIT
init-graph
06Command Claude Code
Initialize a new semantic proof graph.
not rated 144 3mo ago A 6 tokens
original MIT
ralph-loop
07Command Claude Code
Execute the setup script to initialize the Ralph loop.
not rated 144 3mo ago A 0 tokens
copy · 86% MIT
stats
08Command Claude Code
Display graph statistics.
not rated 144 3mo ago A 3 tokens
original MIT
status
09Command Claude Code
Quick project status check - git, build, beads, sorries.
not rated 144 3mo ago A 13 tokens
original MIT
Command Claude Code
Update node verification status in a proof graph.
not rated 144 3mo ago A 8 tokens
original MIT
Command Claude Code
Validate semantic proof graph EDN files against the Alethfeld schema.
not rated 144 3mo ago A 13 tokens
original MIT
verify-proof
12Command Claude Code
Adversarial verification of EDN or Lean proofs with maximum rigor.
not rated 144 3mo ago A 13 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: