premortem
TIGERS & ELEPHANTS risk analysis - use before any significant implementation
How to use it
premortem is exposed by the Continuous Claude V3 MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the premortem 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
Track state within session
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
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