agent-contracts

Here are 4 public repositories matching this topic...

theorem-proving z3 smt deal agentic-ai agent-contracts

Formal behavioral specification and runtime enforcement for autonomous AI agents. Agent Behavioral Contracts (ABC).

📋 Open standard for AI agent employment contracts — YAML spec, JSON Schema, Python CLI validator, runtime SDK

python yaml json-schema mcp specification ai-agents open-standard agent-contracts

CI checks for AI coding agent roles, tool ACLs, call graphs, governed actions, and eval outputs.

security ci devtools cursor codex ai-agents policy-as-code github-actions llmops evals ai-coding agent-ops claude-code agent-governance agent-contracts

Add a description, image, and links to the agent-contracts topic page so that developers can more easily learn about it.

To associate your repository with the agent-contracts topic, visit your repo's landing page and select "manage topics."