Agent Contract Specification AI Agents
Formal specification languages, contract frameworks, and validation tools for defining and enforcing behavioral boundaries, resource constraints, and governance policies for autonomous AI agents. Does NOT include agent orchestration platforms, execution runtimes, or agent-building frameworks themselves.
There are 39 agent contract specification agents tracked. 1 score above 70 (verified tier). The highest-rated is valory-xyz/open-autonomy at 80/100 with 115 stars and 29,611 monthly downloads.
Get all 39 projects as JSON
curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=agents&subcategory=agent-contract-specification&limit=20"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
| # | Agent | Score | Tier |
|---|---|---|---|
| 1 |
valory-xyz/open-autonomy
A framework for the creation of autonomous agent services. |
|
Verified |
| 2 |
AssertLang/AssertLang
Executable contracts for multi-agent AI coordination. Write contracts once... |
|
Emerging |
| 3 |
adrianhihi/helix
Self-healing infrastructure for AI agent payments. 90.3% auto-recovery. |
|
Experimental |
| 4 |
blackzhanzhan/Cyber-Ming-Protocol
A Sovereign Agent Governance Protocol for Deep-Water Workflows |
|
Experimental |
| 5 |
synthesis-ledger/synthesis-ledger
Deterministic on-chain logic synthesis verified by the Horpestad Standard. |
|
Experimental |
| 6 |
CorvidLabs/corvid-agent
🐦⬛ Decentralized development agent platform with on-chain identity and... |
|
Experimental |
| 7 |
dbpittman/general-conditions
Construction contract methodology applied to AI agent specification and governance. |
|
Experimental |
| 8 |
Meisterware/openpakt-spec
OpenPAKT: Open Protocol for Agent Knowledge Trust — a language-agnostic... |
|
Experimental |
| 9 |
agentcontract/spec
The AgentContract Specification - behavioral contracts for AI agents |
|
Experimental |
| 10 |
permission-protocol/docs
Technical specification, playbooks, and examples for Permission Protocol |
|
Experimental |
| 11 |
PredicateSystems/predicate-runtime-python
A verification-first runtime for AI web agents — with Jest-style assertions... |
|
Experimental |
| 12 |
ColomboAI-com/ACDL
ACDL is a declarative specification language for defining agentic systems in... |
|
Experimental |
| 13 |
agentcontract/agentcontract-py
Python reference implementation of the AgentContract specification |
|
Experimental |
| 14 |
agentcontract/agentcontract-ts
TypeScript implementation of the AgentContract specification |
|
Experimental |
| 15 |
agentcontract/agentcontract-rs
Rust implementation of the AgentContract specification |
|
Experimental |
| 16 |
contractlayer/contractlayer
Contract infrastructure for developers & AI agents |
|
Experimental |
| 17 |
agentcontract/agentcontract-action
GitHub Action to validate AgentContract contracts in CI/CD |
|
Experimental |
| 18 |
agentcontract/contracts
Community contract library — ready-to-use AgentContract files for common agent types |
|
Experimental |
| 19 |
Pablo11111544545/agent-contracts
🤖 Build and manage contracts for agents easily with this Python library,... |
|
Experimental |
| 20 |
ddse-foundation/acm
Agentic Contract Model (ACM) - A Spec-First Contract Layer and Open... |
|
Experimental |
| 21 |
limoxt/agent-policy
The AI Agent Access Control Standard — agent-policy.json spec, examples, and tooling |
|
Experimental |
| 22 |
enkronos/agent-contracts
Lightweight contracts for agent task delegation. |
|
Experimental |
| 23 |
kimeisele/agent-city
Autonomous AI agent city — democratic governance, cryptographic identity,... |
|
Experimental |
| 24 |
rajmohanutopai/dina
The Architecture of Agency. An open-source protocol for Sovereign Personal... |
|
Experimental |
| 25 |
flyersworder/agentic-data-contracts
Formal resource governance and semantic consistency for autonomous AI agents... |
|
Experimental |
| 26 |
JohnODowdAI/accord
Contract testing for coding agents — deterministic-first proof of done. |
|
Experimental |
| 27 |
Spectro34/packaging-agent
AI-powered OBS package upgrade agent — 93% OBS-verified success rate.... |
|
Experimental |
| 28 |
agent-next/behavior-driven-testing
Verification discipline for agent-generated changes — acceptance proof,... |
|
Experimental |
| 29 |
vex-hq/Python-SDK
Runtime reliability layer for AI agents. Detect drift, enforce guardrails,... |
|
Experimental |
| 30 |
PredicateSystems/sdk-python
A verification-first runtime for AI web agents — with Jest-style assertions... |
|
Experimental |
| 31 |
tokligence/AAP-MVP
Reference implementation of AAP control-plane: proposals, evidence checks,... |
|
Experimental |
| 32 |
agentreg-dev/acs-docs
The Agent Configuration Standard - For secure agentic engineering |
|
Experimental |
| 33 |
corvid-agent/agent-dashboard
Live status dashboard for corvid-agent - package health, GitHub activity,... |
|
Experimental |
| 34 |
corvid-agent/agent-profile
Agent profile page -- on-chain identity, GitHub activity, and Algorand... |
|
Experimental |
| 35 |
aeoess/aeoess_web
Website, Agora governance data, and agent coordination hub for the Agent... |
|
Experimental |
| 36 |
chesterit21/AIAgentSpec
An open specification for AI Agent interaction with web applications using... |
|
Experimental |
| 37 |
mgalihpp/vexis-trading-agents
LangGraph trading agents for crypto — on-chain analysis, smart money... |
|
Experimental |
| 38 |
flyersworder/agent-contracts
Formal framework for governing autonomous AI agents through resource... |
|
Experimental |
| 39 |
davedean/agent-contact-card
A simple, open format for discovering how to contact someone's AI agents. |
|
Experimental |