Automated Reasoning Python Packages

acacia-boomslang

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

7K 7 5

pynmms

pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025

2K 0 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

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

arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

139 0 0

proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

133 377 29

shred-lean

SHRED: eliminating repeated work in batched Lean proof verification, with up to 325.6x per-hit certificate reuse

119 0 0