Formal Methods Python Packages

pyvcg

Verification Condition Generator

97K 3 4

miss-hit-core

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

17K 199 22

miss-hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

13K 199 22

maude

Language bindings for Maude

5K 25 3

momba-engine

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

4K 19 3

acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

4K 5 5

recordflux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

2K 126 8

momba

A Python library for quantitative models.

1K 19 3

cosa

CoreIR Symbolic Analyzer

1K 75 18

racetrack

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

953 19 3

agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination

920 1 2

intrepyd

Intrepyd Model Checker

681 18 1

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

462 4 0

leancode

Formally verified AI code generation: natural language -> code + proof -> verified binary

458 0 0

re-technical-report

Helper functions for the report 'Assessing a Formal Model of Reflective Equilibrium'

451 1 0

astraintella

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

444 0 0

verasolve

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

384 0 0

punctilious

A human-friendly and developer-friendly math proof assistant

303 3 0

panther-net

Panther: Protocol formal Analysis and formal Network Threat Evaluation Resources

231 43 7

pyxmv

(Unofficial) Python interface to nuXmv

181 0 0

pynuxmv

transpiler from (a subset of) python to nuXmv

175 5 0

punt-z-spec

Z specification toolkit: type-checker, model-checker, and Claude Code plugin

160 3 1

behaverify

BehaVerify: A Formal Verification Tool for Behavior Trees

151 24 9

satisfaction-suffices

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

130 1 0