Engineering Integration

Engineering integration connects Oxpecker to everyday development.

The desired workflow is that coding agents produce or update code together with the related specification, and Oxpecker produces a report that can be used in review and CI.

Reports should include the checked property, explored bounds, result status, counterexample trace when available, and the limits of the claim.