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
AI-powered Playwright test generation framework for GitHub Copilot. Uses Playwright CLI + MCP servers + agent skills to explore web apps, create test plans, generate working .spec.ts files, and self-heal failing tests. All from natural language prompts.
AI Code Agent Taming 2026: Master 15K+ Line Repos Without Context Overflow Errors
Reusable Claude Code skills for small-company back office (ERPNext + Google Drive + Gmail + rclone toolbox)
Claude Code skill for saving/loading experiment context snapshots
Terraform-style configuration for AI coding agents. Compile one ai-profile.yaml into safe Codex, Claude, and Tabnine configs
Simulate how AI agents handle SKILL.md files across different models. Measure trigger accuracy, instruction compliance, and visualize skill dependency graphs.