AgentDish directory
formal-methods
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#2349
→ 0
Maith
Maith is an open-source research workspace for exploring open mathematics with AI while keeping proof standards explicit and checkable. |
AI Research / Mathematics | 77 | → 0 | 99 days ago | Details |
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 | 43 days ago | Details |