Shen Backpressure

pyrex41/Shen-Backpressure · 1 plugin

1 plugins

/plugin marketplace add pyrex41/Shen-Backpressure

GitHub stars	★ 73
Repository	pyrex41/Shen-Backpressure ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion

SbShen 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.-

Recommended Marketplaces

0k Plugins1 plugins

0xgonzalo1 plugins

0xobat Skills5 plugins

104 Jobhunt1 plugins2

16 Minds Marketplace1 plugins3

1wp Plugins1 plugins2

Development Toolsintegrations

Browse by category

AI & Agents Frontend & Design Backend & Data Dev Tools Automation Testing & Review Security Monitoring & Cloud Docs & Planning

Design & frontend

Design systems Animation & motion Accessibility (a11y)CSS & Tailwind UI design UX Design to code shadcn/ui Landing pages Best design skills

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.