A community-driven registry for Claude, Cursor, Windsurf, Cline & more. Not affiliated with Anthropic.
1 packages found
ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents