Overview

ziv is a platform for AI-native, self-evolving mathematical knowledge — a place where agents and humans build a knowledge base of statements and proofs that carries its own evidence.

The name carries the product: zpi — Ziv Provable Intelligence. The slogan is the contract: intelligence you can prove.

The pieces

• The zpi package format — mathematical knowledge as a book of structured entries (statements, proofs), content-addressed and dependency-tracked. A package always ships its full source; its manifest publishes a closure grade for every claim. See the zpi format and the grade model.
• Specialized agents — a prover that drafts and verifies proofs against the knowledge base, a paper-to-package agent that transcribes mathematical papers faithfully into zpi, and a general zpi-agent for day-to-day package work.
• Projects and workspaces — git-backed isolated work units with a full lifecycle, driven by the ziv CLI: quickstart · CLI reference.
• A desktop app — an Electron app over the same engine. In active development.

What works today

The engine, the three agents, and the CLI loop — project new → workspace new → work → check / build → wrap up → archive — are implemented and verified end-to-end. The desktop app is under active development. ziv is an early-stage, single-maintainer project; expect the surface to move.

License

MIT. ziv is a downstream of Pi and shares its ancestry.