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.

actenon-protocol

Neutral, open, implementation-independent boundary contract for the Actenon ecosystem.

repo-proof-index

Index proof packets, receipts, and contracts into reviewer-ready summaries.

agentflow-proof

Lightweight, model-agnostic workflow runner that makes agentic software work auditable: locked plans, execution receipts, drift audits, and tamper-evident proof packs.

mathesis

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

wudder

Wudder's Python SDK

aurekai

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

cotary

Cotary allows you to prove that you have a document without releasing it.

recursive-sgd

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

evarness

Harness assurance for AI agents: prove an agent harness before it touches real data — canonical traces, invariant contracts, portable proof bundles, offline verification