ZIV

Intelligence you can prove

Ziv is a math-proof agent platform: specialized agents draft statements and proofs against a living knowledge base.

DownloadRead documentation

Available for macOS, Windows, and Linux · other builds →

Compatible

and many more model providers

The Ziv desktop app main window.
One window, the whole loop — projects and agents on the left, the working session in the middle, the live knowledge graph on the right.

01 · The evidence

The map is the argument.

A real zpi package, in the live preview, exactly as the app draws it — nothing staged for this page.

every node a statement · every arrow a citation

A zpi package's dependency graph — colored statement nodes joined by directed citation arrows.

02 · The mechanism

The ladder is the law.

A zpi package ships its full source and a grade for every claim — anyone can re-fold the source and audit the grades, ourselves included.

unverified → given · agents stop at ai-verified

The grade ladder — agents cannot grade above ai-verifiedagents cannot grade above thisunverifiedhypotheticalsourcedai-verifiedendorsedexpertformalgiven

03 · Get Ziv

Start proving.

DownloadRead documentation

Available for macOS, Windows, and Linux · other builds →