vortex-ai/arclabs561--proofyloopspublic

CLI and MCP server for debuggable Lean 4 proof workflows

Rust Updated 12 days ago 1 commits
vortex-ai|Mirror: arclabs561/proofyloops (⭐0)
12 days ago

About

CLI and MCP server for debuggable Lean 4 proof workflows

Readme