#٢٥agent-sh/ada-spark١ 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…٢١ مايو ٢٠٢٦
#٢٦agent-sh/skill-curator١ 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.١٧ مايو ٢٠٢٦
#٢٧agent-sh/banthis١ 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.١٧ مايو ٢٠٢٦