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 Segmetrics tasks via Rube MCP (Composio). Always search tools first for current schemas.
The persistent memory and context layer for AI agents.
Offline and security-first tool for syncing and managing agent skills
A SKILL.md to make Claude chess aware chess buddy with chessAgine MCP server
Automate U301 tasks via Rube MCP (Composio). Always search tools first for current schemas.
Codex-native co-mathematician workspace skill and lightweight harness