A developer explores code contracts checked by AI agents
The proposal pairs code with structured, free-form specifications. Its author says keeping them together prevents drift and helps people understand code changes faster.
TLDR
Arguing that not all code will be formally verified, a developer shared code-contracts.cc as an exploration of a middle ground: agent-based verification rather than formal proofs. The proposed contracts put free-form specifications alongside code, with granular structure to help locate relevant requirements. The developer says automation would enable ongoing checks and notifications about important violations, while the contracts would make changes easier to understand and ease demands on engineers’ attention.
Combined views
1.5K
1 Source, first seen 19d ago