continuity_ledger
Track state within session
How to use it
continuity_ledger is exposed by the Continuous Claude V3 MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the continuity_ledger 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 shapelyOther tools in Continuous Claude V3 (16)
Structural code search
Session analysis, replay, and debugging failed sessions
Capture session state for transfer
Transform vague ideas into detailed specs
Search GitHub code/issues/PRs
Unified computation (SymPy, Z3, Pint) — one entry point for all math
Fast text search (20x faster than grep)
Library documentation search
AI-powered web search
Unit-aware arithmetic and conversions
TIGERS & ELEPHANTS risk analysis - use before any significant implementation
Lean4 theorem proving with 5-phase workflow (Research → Design → Test → Implement → Verify)
70+ linters, auto-fix
Resume from handoff with context
Computational geometry
Call graph, CFG, DFG, slicing