A community-driven registry for Claude, Cursor, Windsurf, Cline & more. Not affiliated with Anthropic.
1 packages found
[SOSP'25] Automatic checker synthesis for system-level static analysis