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
Fastest enterprise AI gateway (50x faster than LiteLLM) with adaptive load balancer, cluster mode, guardrails, 1000+ models support & <100 µs overhead at 5k RPS.
>
An agent of IA that aims to be a digital symbiote, a new cerebral cortex existing in the cloud.
Agent skill repository for my codex skills.
Automate Apex27 tasks via Rube MCP (Composio). Always search tools first for current schemas.
Automate Benzinga tasks via Rube MCP (Composio). Always search tools first for current schemas.