input-output-hk/agda-claude-skills

Claude skills for working with Agda code

Funktioniert mit✓Claude Code~Codex CLI~Cursor

npx skills add input-output-hk/agda-claude-skills

Open a new chat with this agent skill pre-loaded.

Dokumentation

Claude skills for working with Agda code

Claude dotfile containing skills, agents etc I use.

Configuracion de MCP para Claude en vscode

Agent skills for exploring locally stored AI coding agent history: Claude Code, Codex CLI, and Cursor

Agent Skills Directory by Dr Clawdberg

Skills for working with AI Agents

Give your AI Agent a whole IDE, not just the files