AgentDish directory
protocol validation
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1369
↓ -3
untyped
A GitHub repo for checking recorded agent runs against a TLA+ specification of the surrounding protocol. It models retries, acknowledgements, approvals, budgets, and can validate JSONL runs against the same spec. |
Developer Tools / Testing & QA | 83 | ↓ -3 | 12 days ago | Details |