Desarrollo
No visual example yet
Explore the skill
Phan
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
5,6 milGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Encuentra una habilidad para tu próxima tarea con Codex, Claude Code, Cursor y más.
Resultados · “correctness”
5 Skills
Resultados: 5
Desarrollo
No visual example yet
Explore the skill
review-pr
trailofbits
Reviews the current branch's changes against its base branch as a pull request: correctness of new and modified code, test coverage for it, and documentation accuracy. U…
6,9 milGitHub
Desarrollo
No visual example yet
Explore the skill
Author and review GitHub Actions workflow YAML safely so syntactically-valid YAML can't ship a workflow that GitHub Actions refuses to run. USE FOR: editing, adding, or…
5,3 milGitHub
Diseño y UI
No visual example yet
Explore the skill
ui-test
browserbase
AI-powered adversarial UI testing via the browse CLI. Analyzes git diffs to test only what changed, or explores the full app to find bugs. Tests functional correctness,…
3,7 milGitHub
Desarrollo
No visual example yet
Explore the skill
Token Diet
Kulaxyz
Always-on token-efficiency skill for coding agents (Claude Code, Codex, Cursor, Windsurf, Cline). ~31% lower bill on average, no loss of correctness.
556GitHub
Guías y comparativas
- Frontend design skills ↗
- Remotion skills ↗
- Excel and XLSX skills ↗
- PDF and Word skills ↗
- AI agent skills library ↗
- Open source AI agent skills ↗
- Best Codex skills ↗
- Best AI agent skills for stock analysis ↗
- Best Codex skills for web scraping ↗
- Best Claude Code skills for PDF parsing ↗
- Best AI agent skills for football analytics ↗
- OpenAgentSkill vs skills.sh ↗
- OpenAgentSkill vs agentskills.io ↗