Model Checking Python Packages

minictl

A small model checker for Computational Tree Logic

5K 2 3

intrepyd

Intrepyd Model Checker

2K 19 1

plan-auditor

Make an AI agent's 'done' mean 'here is the command output that proves it.' Deterministic, LLM-free verification for AI coding agents: sealed plans, SHA-256 hash-chained evidence, STRIPS/PDDL reachability, and a fail-closed completion gate.

2K 1 0

unicode-fol-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

2K 0 0

pytolemaic

Toolbox for analysis of model's quality and model's description. For further details see

1K 10 3

cosa

CoreIR Symbolic Analyzer

949 75 18

modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

691 27 3

cbmc-starter-kit

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

579 57 23

unicode-logic-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

577 0 0

agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

533 1 2

reasonsmith

Prove which legally-owed reasons a decision system deleted, and from whom — by re-running its own inference, not reading its log. Every verdict states how it was reached.

473 4 4