AgentDish directory
policy verification
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
A research note from OpenShell on using formal methods and Z3 to reason about and verify permission changes in long-running AI agent systems. |
Developer Tools / Code Assistant | 74 | ↓ -1 | 31 days ago | Details |