Now liveThe Skillselion MCP - thousands of ranked skills, loaded into your agent mid-task. No install.Get it →

pyrex41/Shen-Backpressure

1 skill · 0 installs · 77 stars · GitHub

Install

npx skills add https://github.com/pyrex41/Shen-Backpressure

Skills in this repo

1Sbsb is a Claude Code skill in the AI & Agent Building category. Shen Backpressure — formal verification for AI coding via Shen sequent-calculus types, shengen guard generation, and the shen-derive spec-equivalence gate. Provides /sb:init, /sb:loop, /sb:derive, /sb:create-shengen, /sb:ralph-scaffold, /sb:help.0installs
Browse by category
AI & AgentsFrontend & DesignBackend & DataDev ToolsAutomationTesting & ReviewSecurityMonitoring & CloudDocs & Planning
Design & frontend
Design systemsAnimation & motionAccessibility (a11y)CSS & TailwindUI designUXDesign to codeshadcn/uiLanding pagesBest design skills
Most searched skills
find-skillscavemanfrontend-designbrainstormingsystematic-debuggingstop-slopemil-design-engui-ux-pro-maxkarpathy-guidelinesweb-design-guidelinesreact-best-practicesgrill-meimprovemicrosoft-foundryagent-browser
Browse all listings
All agent skillsAll MCP serversAll marketplacesAll plugins

This week in AI coding

Five minutes, every Monday - the tools, releases and tactics for developers.

unsubscribe anytime.

pyrex41/Shen-Backpressure · 1 skills · Skillselion