Was macht agda-claude-skills?
Claude-Fähigkeiten für die Arbeit mit Agda-Code
Claude-Fähigkeiten für die Arbeit mit Agda-Code
Diese Skill-Sammlung, bereitgestellt von Input Output (IOHK), erweitert Claude Code, Cursor, Codex und andere KI-Agenten um spezifische Fähigkeiten zur Arbeit mit der Programmiersprache Agda. Agda ist eine abhängig typisierte funktionale Programmiersprache und ein Proof Assistant, die häufig in der formalen Verifikation und der Entwicklung sicherer Smart Contracts verwendet wird – insbesondere im Cardano-Ökosystem. Die Skills unterstützen Entwickler beim Schreiben, Prüfen und Refactoren von Agda-Code, indem sie typische Aufgaben wie Typprüfung, Pattern-Matching und interaktive Beweisführung vereinfachen. Die Dokumentation (SKILL.md) enthält detaillierte Beispiele, Best Practices und Hinweise zur Integration in gängige Entwicklungsumgebungen, sodass KI-Assistenten automatisch auf Agda-bezogene Anfragen reagieren können. Dadurch wird die Produktivität von Entwicklern, die mit formalen Methoden und sicherheitskritischer Software arbeiten, deutlich gesteigert.
npx skills add input-output-hk/agda-claude-skillsInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Claude-Fähigkeiten für die Arbeit mit 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.