input-output-hk/agda-claude-skills
Claude skills for working with Agda code
Claude skills for working with Agda code
npx add-skill input-output-hk/agda-claude-skillsClaude skills for working with Agda code
Automate Adobe tasks via Rube MCP (Composio). Always search tools first for current schemas.
A Claude Code skill for pressure-testing decisions before you commit
Install portable agent rules, hooks, and task state for coding agents to stop guessing and verify work across Claude, Codex, Cursor, and Windsurf
A Python framework for modular, self-contained skill management for machines.
Convert Claude Code responses to speech using various TTS providers with local fallback for seamless audio output across platforms.
Use when starting a session or when you need to discover which skill applies to the current task. This is the meta-skill that governs how all other skills are discovered and invoked.