agent-contracts

Here are 6 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).

A unified contract layer for LLM agents — parameterizable contract templates enforced by deterministic checks and LLM judgment.

python verification agents design-by-contract ai-agents guardrails llm langchain llm-as-judge agent-contracts

Rust supervisor and plugin for Agent Run Contracts

rust codex coding-agents claude-code 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

Typed declarative contracts for AI agent systems

python dsl openai contracts observability ai-agents guardrails llm evals 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."