Stats
Links
Categories
Help us improve
Share bugs, ideas, or general feedback.
Marketplace
shen-backpressure
$
npx claudepluginhub pyrex41/shen-backpressure1 Plugin
sb
44·
Shen Backpressure — formal verification for AI coding via Shen sequent-calculus types, shengen guard generation, and the shen-derive spec-equivalence gate.
3w
pyrex41Related Marketplaces
prompts.chat
163.6K
·1plugin
Official prompts.chat marketplace - AI prompts, skills, and tools for Claude Code
karpathy-skills
66.0K
·1plugin
Behavioral guidelines to reduce common LLM coding mistakes, derived from Andrej Karpathy's observations
open-design
63.2K
·1plugin
Open Design — local-first design app exposed to coding agents over MCP. Install once with your agent's plugin command and projects/files/skills are reachable through stdio.
Help us improve
Share bugs, ideas, or general feedback.