input-output-hk/agda-claude-skills

Claude skills for working with Agda code

¿Qué es agda-claude-skills?

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

Compatible con✓Claude Code~Codex CLI~Cursor

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

Installed? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Abre un nuevo chat con esta habilidad de agente ya precargada.

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.