AGENTRANK
specula-org/Specula
Specula: An agentic tool for finding deep bugs in system code using TLA+
88
/ 100
Stars
74
Freshness
68
Issue health
82
Contributors
61
Dependents
0