PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
pschanely
crosshair-tool

An analysis tool for Python that blurs the line between testing and type systems.

326K 1K 79
trailofbits
manticore

Symbolic execution tool

101K 4K 493
mirni
a2a-greenhelix-sdk

Agent-to-agent payments, escrow and formal verification services

10K 0 0
cool-japan
oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

6K 15 1
nicdard
ffg

A generator for Semantic Fusion

4K 2 0
testsmt
yinyang

A fuzzing framework for SMT solvers

3K 196 25
QWED-AI
qwed-finance

Deterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.

1K 2 1
vil02
str8ts-solver

str8ts solver using z3

1K 0 0
Chimera-Protocol
csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

1K 10 9
obijywk
grilops

GRId LOgic Puzzle Solver

857 82 7
vishk23
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.

759 0 0
formalmethods
intrepyd

Intrepyd Model Checker

674 18 1
deut-erium
cryptanalysis

Automated cryptanalysis of substitution permutation network cipher

624 32 0
AstraIntella
astraintella

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

412 0 0
AstraIntella
verasolve

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

363 0 0
awkronos
provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

262 0 0
debarghaG
proofofthought

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

220 371 24
QWED-AI
qwed-mcp

MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client

71 0 0
Dashstrom
z3-armor

Constraint-based obfuscation using z3.

53 1 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery