Search Packages

ffg

A generator for Semantic Fusion

dreal

SMT Solver for Nonlinear Theories of Reals

yinyang

A fuzzing framework for SMT solvers

aeonlang

Programming Language designed for Program Synthesis with SMT-validation.

qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

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.

yices

Python bindings for yices2

intrepyd

Intrepyd Model Checker

nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.

pydlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4