agent-contracts
Formal behavioral specification and runtime enforcement for autonomous AI agents. Agent Behavioral Contracts (ABC).
Typed declarative contracts for AI agent systems
Static contract experiments for agent-authored Python
