repository explorer

agent-sh · Repositories and representative skills - Page 3

Repository-level view of 97 collected skills across 27 GitHub repositories.

#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…May 21, 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.May 17, 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.May 17, 2026