Status

This page tracks the current state of Oxpecker as a verification toolchain for AI-assisted development.

Current Snapshot

Area	Status	Focus
Checker Core	Now	Stabilize explicit-state checking and trace output
Specification Surface	Next	Make reviewable specs easier to write beside generated code
Toolchain Integration	Next	Produce reports for CI, review, and coding agents
Symbolic Methods	Research	Use constraints when explicit search becomes too large