Roadmap

Oxpecker is a Zig-first formal verification library and toolchain, but the tool is the method rather than the mission.

The project starts from the AI-assisted development bottleneck: agents can produce code quickly, but review, validation, and regression confidence do not automatically scale with generation speed. If review remains the slowest step, the whole engineering loop remains bottlenecked.

The long-term mission is to explore whether formal verification can constrain agent-generated code into shapes that are easier to check.

Technical Tracks

• Checker Core
• Specification Surface
• State-Space Engineering
• Property System
• Symbolic Methods
• Restricted Zig Verification
• Proof Boundary
• Toolchain Integration