{"name":"pyrex41-sb-sb","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"pyrex41-sb-sb","source":{"source":"github","repo":"pyrex41/shen-backpressure"},"description":"Shen Backpressure — formal verification for AI coding via Shen sequent-calculus types, shengen guard generation, and the shen-derive spec-equivalence gate.","version":"0.1.0","strict":true,"keywords":["shen","formal-verification","codegen","ralph","backpressure"],"category":"development"}]}