Skip to main content

Requirements

Python 3.10 or later. Python 3.10, 3.11, 3.12, and 3.13 all supported.
Use python3 -m unittest discover -s tests — not pytest. DOF uses unittest internally; pytest conflicts with the web3 dependency.

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