claude

sb

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.

80 on GitHubby pyrex41v0.1.0updated 1 month ago
/

Plugin sb from marketplace shen-backpressure in pyrex41/Shen-Backpressure. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (1)

  • shen-backpressure

    Formal backpressure for AI coding through Shen sequent-calculus types, shengen guard generation, and optional shen-derive spec-equivalence checks. Activates when the user mentions formal verification, Shen types, guard types, backpressure, invariant enforcement, or spec-vs-implementation verificatio

Slash commands (6)

  • /sb:create-shengen

    Build a shengen codegen tool that compiles Shen sequent-calculus specs into guard types for any target language. Provides the complete algorithm, grammar, symbol table schema, accessor resolution rules, and per-language enforcement strategies. Use when bootstrapping shengen for a new target language

  • /sb:derive

    Configure and run the optional shen-derive spec-equivalence gate. Use when the project has Shen `(define ...)` functions that should act as an oracle for handwritten Go implementations, or when `sb.toml` already contains `[[derive.specs]]` entries and the user wants to run, regenerate, or debug the

  • /sb:help

    Show all Shen Backpressure commands, what they do, and when to use each one.

  • /sb:init

    Add Shen backpressure to any project. Generates formal type specs from domain description, builds shengen, produces guard types in your target language, sets up verification gates. Works with any workflow — Ralph loops, CI pipelines, manual dev, or custom orchestrators.

  • /sb:loop

    Configure and launch a Ralph loop — a headless LLM harness in a bash loop with Shen backpressure, using the core five gates plus optional shen-derive verification when configured. Requires /sb:init first.

  • /sb:ralph-scaffold

    All-in-one setup for a Shen-backpressure project with Ralph loop. Combines /sb:init (specs, shengen, guard types, optional shen-derive config) + /sb:loop (orchestrator, prompt, plan) into a single flow. Goes from zero to running the core five gates, with optional spec-equivalence verification when c

View source on GitHub

Similar plugins

ralph-loop

claude

Interactive self-referential AI loops for iterative development. Claude works on the same task repeatedly, seeing its previous work, until completion.

3 commands · hooks

anthropics/claude-code 155,476

ralph-loop

claude

Interactive self-referential AI loops for iterative development, implementing the Ralph Wiggum technique. Claude works on the same task repeatedly, seeing its previous work, until completion.

3 commands · hooks

anthropics/claude-plugins-official 47,076

agent-harness

claude

Turn any domain folder of skills into a bounded agentic loop: a manifest builder inventories a domain's skills/tools/checks, a goal compiler turns a goal into a verifiable task plan (refusing vague goals with forcing questions), and a JSON-backed loop controller drives execute->verify->close with retry caps, controller-run verification (no verification theater), human escalation on exhausted budgets, and a close gate that refuses while any task is unverified or unwaived. Ships 3 stdlib Python tools, 18 committed per-domain harness manifests + JSON schema, 3 references citing the 2024-2026 agent-harness canon (Anthropic long-running harnesses, verifier's law, SWE-agent, Ralph loop, Cognition), harness-runner agent + /cs-harness command. Use when an agent or subagent should pick up a goal, define its tasks, complete and verify them, and close the loop.

1 skill · 1 command · 1 agent

alirezarezvani/claude-skills 29,725

ralph-skills

claude

PRD generation and conversion skills for the Ralph autonomous agent loop

2 skills

snarktank/ralph 22,224

cli-printing-press

claude

Describe your API. Get a production CLI. Generates Go CLI tools from OpenAPI specs or natural language descriptions.

20 skills

mvanhorn/cli-printing-press 4,990

yylo-skills

claude

Reusable agent skills maintained by YYLO. The canonical, independently versioned source for skills used by YYLO CLI and YYLO Ledger: ledger task management, wiki, workflow and artifact records, project understanding, planning, and the Ralph execution loop.

8 skills

davepoon/buildwithclaude 3,741

Maintain sb?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted