input-output-hk/agda-claude-skills
Claude skills for working with Agda code
Claude skills for working with Agda code
npx skills add input-output-hk/agda-claude-skillsClaude skills for working with Agda code
Agent skill pack from Momentic for E2E testing workflows and result classification.
Async coding agents driven by GitHub labels — your AI works in parallel while you sleep.
Sync your Claude Code skills across devices with zero-knowledge encryption
Split from aloycwl/OpenClaw: skill-wordpress
LLM councils plan it. Ralph loops recover it. OpenCode worktrees ship it.
Public Xiaoduiyou Agent plugins and skills for Hermes and OpenClaw