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 Bestbuy tasks via Rube MCP (Composio). Always search tools first for current schemas.
Claude Code skill files for daily learning
Dev tools, optimized for agents. Structured, token-efficient MCP servers for git, test runners, npm, Docker, and more.
prototpe. attempt to get Claude to be more effective at working on Bottlerocket.
Tool Package Manager for AI Agents
Define and control AI agents in markdown with full prompt transparency, persistent memory, and integrated tools via the Claude Agent SDK.