prove

MCP tool from Continuous Claude V3 by parcadei

Lean4 theorem proving with 5-phase workflow (Research → Design → Test → Implement → Verify)

How to use it

prove is exposed by the Continuous Claude V3 MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the prove tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.

Install Continuous Claude V3

$uv pip install sympy z3-solver pint shapely

FULL CONTINUOUS CLAUDE V3 LISTING

Other tools in Continuous Claude V3 (16)

ast-grep-find

Structural code search

braintrust-analyze

Session analysis, replay, and debugging failed sessions

continuity_ledger

Track state within session

create_handoff

Capture session state for transfer