Requirements
Python 3.10 or later. Python 3.10, 3.11, 3.12, and 3.13 all supported.Option 1 — SDK (recommended)
Optional extras
Option 2 — Full Repository
Option 3 — Docker
Environment Variables
Constitution, AST Validator, and Z3 work fully offline. API keys are only
required for LLM inference and on-chain writes.
Verify Installation
Next Steps
Quickstart
First verified proof in 5 minutes
CLI Reference
Full command reference