What does agda-claude-skills do?
Claude skills for working with Agda code
Claude skills for working with Agda code
agda-claude-skills is a Claude Code agent skill that claude skills for working with Agda code.
npx skills add input-output-hk/agda-claude-skillsInstalled? Explore more Coding & Development skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
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.