input-output-hk/agda-claude-skills

Claude skills for working with Agda code

Qu'est-ce que agda-claude-skills ?

agda-claude-skills is a Claude Code agent skill that claude skills for working with Agda code.

Compatible avec✓Claude Code~Codex CLI~Cursor

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

Installed? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

Claude skills for working with Agda code

Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.

Control Eight Sleep pods (status, temperature, alarms, schedules).

BluOS CLI (blu) for discovery, playback, grouping, and volume.

Create, search, and manage Bear notes via grizzly CLI.

Capture frames or clips from RTSP/ONVIF cameras.

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.