explorador de repositórios

agent-sh · Repositórios e skills representativas - Página 3

Visão por repositório de 97 skills coletadas em 27 repositórios do GitHub.

#25agent-sh/ada-spark1 skills

ada-sparkUse when writing, porting, reviewing, or proving Ada or SPARK - .ada/.adb/.ads/.gpr files, contracts (Pre/Post/Contract_Cases), Alire (alr) projects, SPARK proof (GNATprove, AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik, light…21 de mai. de 2026

#26agent-sh/skill-curator1 skills

skill-curatorUse when user asks to create, improve, or review production-grade SKILL.md files for Claude Code, Cursor, Codex, OpenCode, Kiro, and other agent tools. Focuses on trigger quality, structure, cross-tool compatibility, and reliable activation.17 de mai. de 2026

#27agent-sh/banthis1 skills

banthisUse when user asks to ban, stop, or remember not to repeat an agent behavior ('stop doing X', 'you keep doing X', 'ban this'). Immediately capture it as a permanent negative rule using the banthis tool.17 de mai. de 2026