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 50 (established tier). The highest-rated is valory-xyz/open-autonomy at 68/100 with 115 stars.
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. |
|
Established |
| 2 |
AssertLang/AssertLang
Executable contracts for multi-agent AI coordination. Write contracts once... |
|
Emerging |
| 3 |
synthesis-ledger/synthesis-ledger
Deterministic on-chain logic synthesis verified by the Horpestad Standard. |
|
Emerging |
| 4 |
PredicateSystems/predicate-runtime-python
A verification-first runtime for AI web agents — with Jest-style assertions... |
|
Experimental |
| 5 |
blackzhanzhan/Cyber-Ming-Protocol
A Sovereign Agent Governance Protocol for Deep-Water Workflows |
|
Experimental |
| 6 |
adrianhihi/helix
Self-healing infrastructure for AI agent payments. 90.3% auto-recovery. |
|
Experimental |
| 7 |
agentcontract/agentcontract-rs
Rust implementation of the AgentContract specification |
|
Experimental |
| 8 |
agentcontract/spec
The AgentContract Specification - behavioral contracts for AI agents |
|
Experimental |
| 9 |
dbpittman/general-conditions
Construction contract methodology applied to AI agent specification and governance. |
|
Experimental |
| 10 |
CorvidLabs/corvid-agent
🐦⬛ Decentralized development agent platform with on-chain identity and... |
|
Experimental |
| 11 |
ddse-foundation/acm
Agentic Contract Model (ACM) - A Spec-First Contract Layer and Open... |
|
Experimental |
| 12 |
agent-next/behavior-driven-testing
Verification discipline for agent-generated changes — acceptance proof,... |
|
Experimental |
| 13 |
ColomboAI-com/ACDL
ACDL is a declarative specification language for defining agentic systems in... |
|
Experimental |
| 14 |
agentcontract/agentcontract-py
Python reference implementation of the AgentContract specification |
|
Experimental |
| 15 |
agentcontract/agentcontract-ts
TypeScript 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 |
Meisterware/openpakt-spec
OpenPAKT: Open Protocol for Agent Knowledge Trust — a language-agnostic... |
|
Experimental |
| 19 |
agentcontract/contracts
Community contract library — ready-to-use AgentContract files for common agent types |
|
Experimental |
| 20 |
enkronos/agent-contracts
Lightweight contracts for agent task delegation. |
|
Experimental |
| 21 |
kimeisele/agent-city
Autonomous AI agent city — democratic governance, cryptographic identity,... |
|
Experimental |
| 22 |
rajmohanutopai/dina
The Architecture of Agency. An open-source protocol for Sovereign Personal... |
|
Experimental |
| 23 |
flyersworder/agentic-data-contracts
Formal resource governance and semantic consistency for autonomous AI agents... |
|
Experimental |
| 24 |
JohnODowdAI/accord
Contract testing for coding agents — deterministic-first proof of done. |
|
Experimental |
| 25 |
limoxt/agent-policy
The AI Agent Access Control Standard — agent-policy.json spec, examples, and tooling |
|
Experimental |
| 26 |
tokligence/AAP-MVP
Reference implementation of AAP control-plane: proposals, evidence checks,... |
|
Experimental |
| 27 |
Pablo11111544545/agent-contracts
🤖 Build and manage contracts for agents easily with this Python library,... |
|
Experimental |
| 28 |
corvid-agent/agent-profile
Agent profile page -- on-chain identity, GitHub activity, and Algorand... |
|
Experimental |
| 29 |
agentreg-dev/acs-docs
The Agent Configuration Standard - For secure agentic engineering |
|
Experimental |
| 30 |
corvid-agent/agent-dashboard
Live status dashboard for corvid-agent - package health, GitHub activity,... |
|
Experimental |
| 31 |
Spectro34/packaging-agent
AI-powered OBS package upgrade agent — 93% OBS-verified success rate.... |
|
Experimental |
| 32 |
chesterit21/AIAgentSpec
An open specification for AI Agent interaction with web applications using... |
|
Experimental |
| 33 |
PredicateSystems/sdk-python
A verification-first runtime for AI web agents — with Jest-style assertions... |
|
Experimental |
| 34 |
vex-hq/Python-SDK
Runtime reliability layer for AI agents. Detect drift, enforce guardrails,... |
|
Experimental |
| 35 |
permission-protocol/docs
Technical specification, playbooks, and examples for Permission Protocol |
|
Experimental |
| 36 |
mgalihpp/vexis-trading-agents
LangGraph trading agents for crypto — on-chain analysis, smart money... |
|
Experimental |
| 37 |
aeoess/aeoess_web
Website, Agora governance data, and agent coordination hub for the Agent... |
|
Experimental |
| 38 |
davedean/agent-contact-card
A simple, open format for discovering how to contact someone's AI agents. |
|
Experimental |
| 39 |
flyersworder/agent-contracts
Formal framework for governing autonomous AI agents through resource... |
|
Experimental |