code-verification
A Python library for verifying code properties using natural language assertions.
Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.
Math doesn't hallucinate. Formal verification for AI-generated Python code.
