A Python library for verifying code properties using natural language assertions.
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.
A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.
Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.
agy-worker: a skill for Codex and Claude Code to delegate bounded repository work to Antigravity CLI (agy), then independently verify the candidate before acceptance.
Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents
Zero-Trust Verification Fabric for AI-Generated Software.
Independent verification for AI-generated software. Prove tests, regression fixes, CI integrity, and PR claims before merge.
Code-validation kernel for AI-assisted development: source-bound signed evidence, deterministic acceptance gates and a verifiable audit trail. MIT.
Verification layer for AI agent code — runs, tests, lints & security-scans AI-generated code in isolated sandboxes and returns a pass/fail verdict.
Dash app for the Verification and Validation platform for DET’s code comparison exercises
Jev-style decision models fine-tuned to judge cheap-model code: data pipeline, training image, fine-tunes
Math doesn't hallucinate. Formal verification for AI-generated Python code.
Adversarial Prover/Skeptic code-generation loop, verified by real sandboxed execution — not an LLM's opinion
Certus is a finetuned model that generates machine-checkable correctness certificates for Python functions, plus a checker that verifies them with counterexample search. 83% of certificates survive Hypothesis testing on unseen code.
Evidence-based compatibility registry and verification layer for AI coding agents via MCP.
Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.
Turn claims about code into executable checks and revocable warrants. Re-check affected claims as code changes, without model calls during verification.
Turns the decisions behind agent-written code into executable guard tests, checked on every PR, merge and dependency upgrade.
🛡️ Automatically catch security vulnerabilities in AI-generated code
To associate your repository with the code-verification topic, visit your repo's landing page and select "manage topics."