Pricing
One plan, the whole tool.
Fourteen days to try it, no card. Prices in USD.
Adduce Pro
Twelve months for the price of ten.
Nothing is counted. Verification runs on your machine, so the subscription buys the tool rather than an allowance of runs.
Included
- ✓Every CLI command and all 32 MCP tools
- ✓Citations, Lean 4 and Z3 proofs, and reruns that check themselves
- ✓Source acquisition, OCR and Zotero sync
- ✓Code intelligence across Python, C++ and Rust
- ✓Your library stays on your machine
- ✓Email support from the people who wrote it
Seat billing arrives with the enforcement behind it. Until then a team buys one subscription per person.
What you are paying for
A surface an agent can operate, evidence it can act on, and a library that stays yours.
Driven by an agent
A local service your agent calls, with 32 tools for finding evidence, binding it to a claim and checking it again months later. Everything the agent can do is a command you can run yourself, and both answer identically.
Across your codebase
Symbol and reference search across Python, C++ and Rust, with a precise tier wherever a build context exists, so a claim about the code can point at the code that supports it.
On your machine
Documents, OCR output and embeddings stay local. That is a constraint the design is built around, so the library remains yours and any change that moved it to a server is foreclosed.