Software Verification Python Packages

ssot-registry

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-contracts

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-core

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-cli

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-views

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-conformance

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-codegen

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

mathema

Claim-Driven Development: turn software intent into verifiable evidence.

ssot-tui

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-pack-contracts

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

cbmc-starter-kit

The CBMC starter kit makes it easy to add CBMC verification to a software project.

ssot-mcp

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

neuralsat

A neural network verification tool based on the DPLL(T) SMT Solving algorithm.

rung-ai

Did your AI agent run what it says it verified, or only claim it did?

holosim

Deterministic continuity and verification framework for preserving corrections, uncertainty, evidence, and reconstruction across AI and software handoffs.

polywit

🌍 A poly-language execution-based violation-witness validator

esbmc-wr

LSVerifier - Large Systems Verifier

lsverifier

LSVerifier - Large Systems Verifier