AmethystLuna/logicprobe
“Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims…”
Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification for state machines and data models, with before/after regression, domain constraints, and concurrency risk mining.
GanyuanRan/Aegis
Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.
superdesigndev/superdesign-skill
Design skill for UI and marketing graphics on the Superdesign canvas: reads the repo for context, extracts its design system, then generates and iterates branchable design drafts, flow pages, and reusable components through the Superdesign CLI.
zhoushoujianwork/easyeda-agent
EasyEDA Pro (JLC EDA) automation for DeepSeek Harness: MCP bridge + agent skill bundle.
linhay/harmony-next.skills
HarmonyOS NEXT skill bundle for DeepSeek Harness with offline API references and DevEco, HDC, and emulator automation guidance.