lean-proof-walk
Installation
SKILL.md
Lean Proof Walk
Generate formal Lean 4 proof state chains using GF(3)-balanced random walks.
Triad Structure
| Agent | Trit | Role | Action |
|---|---|---|---|
| Generator | +1 | Create | Propose next proof state |
| Coordinator | 0 | Transport | Formalize transition, derive seed |
| Validator | -1 | Verify | Check soundness, GF(3) conservation |
Invariant: trit(G) + trit(C) + trit(V) = (+1) + 0 + (-1) = 0
State Chain Format
State N: Γ ⊢ G