Agents that prove
Specialized prover agents draft new proofs against the knowledge base — and validate every step.
ziv
Intelligence you can prove.
The math-proof agent platform — a living knowledge base of statements and proofs, built and verified by specialized agents.
A platform built for proof.
The zpi package format
Content-addressed statements and proofs, in a package that always ships its full source.
A grade for every claim
One lattice from unverified to given — every entry carries its evidence, and overclaiming is impossible.
Desktop and CLI
One platform, two surfaces — the Electron app for working with proofs, the ziv CLI everywhere else.
Proofs are the product.
A zpi package ships its full source — every statement, every proof, every citation. The manifest publishes a grade for each claim, and downstream consumers trust those grades like citations.
Because the proofs ship too, anyone can re-fold the source and audit the trust. Nothing is taken on faith — including us.
The grade lattice
unverified → hypothetical → sourced → ai-verified → endorsed → expert → formal → given