#25agent-sh/ada-spark1 skillsada-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 mai 2026
#26agent-sh/skill-curator1 skillsskill-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 mai 2026
#27agent-sh/banthis1 skillsbanthisUse 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 mai 2026