AgentDish directory
code proof
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
Anthropic’s research post shows Claude proving security properties across 123 open-source libraries and discusses how LLMs can support formal verification workflows for real software. |
Developer Tools / Code Assistant | 80 | ↓ -1 | 3 days ago | Details |