Overview
Ziv is a desktop app where AI agents do mathematics you can check: every statement they prove, cite, or assume is recorded in a knowledge base that carries its own evidence.
The zpi Format
Section titled “The zpi Format”Zpi is the package format at the core of Ziv — how mathematical knowledge is stored, exchanged, and audited. A zpi package is a directory of structured entries: statements and proofs, one file each, with citations between them. An entry’s identity is the hash of its full content, so every citation points at exactly what was cited — content, not location. A build compiles the dependency graph into a manifest that publishes a derived grade — the closure grade — for every statement. A package always ships its full source, so anyone can re-check every claim. See the zpi format.
What you get
Section titled “What you get”- The live knowledge graph — every theorem, proof, and citation in one map. Select any node to read its statement and grade.
- Agent sessions — a prover drafts and verifies proofs against the knowledge base, and a reviewer pass checks each proof before it settles; you watch the work and the verdicts.
Evidence, not adjectives
Section titled “Evidence, not adjectives”No claim is simply “verified.” Every statement carries a grade — from unverified through
ai-verified and human endorsement up to formal, with given reserved for axioms and
definitions — derived from the proofs beneath it. See
the grade model.
Get it
Section titled “Get it”Download the desktop app from the releases page — macOS (Apple Silicon), Windows (x64), and Linux (x86_64).
License
Section titled “License”MIT. Ziv builds on Pi (the agent platform), pi-subagents, and pi-web-access, and shares Pi’s ancestry.