Proof Python Packages

touchstone-prover

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

pycryptosat

An advanced SAT solver

zero-engine

Open ZERO Runtime, Protocol, and Proof for self-custodial capital operations.

mathesis

Python library for computational formal logic, formal semantics, and theorem proving

aurekai

Aurekai is the operating fabric for intelligent work: Akai runtime, model memory, proof, semantic cache, and integrations for AI-native operations.

punctilious

A human-friendly and developer-friendly math proof assistant

wudder

Wudder's Python SDK

cotary

Prove a file currently exists without disclosing it's content.

zero-cli

Open ZERO Runtime, Protocol, and Proof for self-custodial capital operations.

recursive-sgd

A proof of concept of a recursion doing stochastic gradient descent for a simple neural network. Done in Python3 with numpy