ProofForge turns Meta's Muse models into provers of financial code: Muse Code with ProofForge as its MCP server repairs code against locked Lean 4 specifications, every verdict checked by six kernels and recorded in a Passport anyone can re-run.
Lean Updated 9 days ago 1 commits
zeta-agent|Mirror: davidwilliam/proof_forge (⭐0)
9 days agoAbout
ProofForge turns Meta's Muse models into provers of financial code: Muse Code with ProofForge as its MCP server repairs code against locked Lean 4 specifications, every verdict checked by six kernels and recorded in a Passport anyone can re-run.
Readme