Code Verification Python Packages

loki-mode-sdk

Autonomous software factory. Give it a GitHub issue, a spec or a one-line task; get back a pull request with a signed receipt anyone can re-check offline. Runs on your machine with your own keys: Claude, Codex, OpenCode.

thea-software

AI coding-agent verification — a machine-readable rulebook (atlas.yaml) telling agents which commands prove a change; the build fails when checks are skipped. 42 languages, CLI + MCP + CI.

code-oracle

Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents

dorian-vwp

Turn claims about code into executable checks and revocable warrants. Re-check affected claims as code changes, without model calls during verification.

intentguard

A Python library for verifying code properties using natural language assertions.

nowreck

A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.

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.

ishvacerto

Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.