Plugin marketplace

shen-backpressure

Plugins published from pyrex41/Shen-Backpressure.

80 · pyrex41/Shen-Backpressure1 pluginupdated 1 month ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

sb

claude

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.

1 skill · 6 commands

80

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted