agentmods.dev

nickharris808/formal-proof-mcp

MCP server: a proof kernel, an axiom audit that catches `sorry`, and an honest 'unavailable'

Open on GitHub nickharris808.github.io
0Stars on the repository
1Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

formal-proof-mcp

01

nickharris808/formal-proof-mcp

MCP server Claude CodeCodexCursor +2

MCP server "formal-proof-mcp" as configured in nickharris808/formal-proof-mcp. Runs locally from the formal-proof-mcp Python package.

not rated 0 yesterday A tokens not measured original Apache-2.0