POES: Verification For AI Generated Code – Formal verification framework for AI-generated code logic

Summary: POES is an experimental open-source framework that enables coding agents to verify AI-generated code by producing deterministic proofs of correctness. It combines event sourcing principles with bounded formal verification to validate code logic and state transitions within controlled environments.

What it does

POES allows coding agents to build and verify code against specified rules by generating proofs of work that confirm no rule violations occur within tested domains. It uses immutability and versioned state to ensure deterministic outputs and supports bounded verification by exploring state transitions or sampling state spaces.

Who it's for

It is designed for developers and researchers working with AI-generated code who need to verify logic correctness, especially in long-horizon tasks requiring rule adherence and state validation.

Why it matters

POES addresses the challenge of ensuring AI-generated code adheres to specified rules by providing formal, though bounded, verification guarantees that help detect logic errors and invalid state changes early in development.