Plugin marketplace
superpowers を前提に、設計検証(TLA+)・テスト設計・形式検証(Lean 4)の 3 系統と git/レビュー運用スキル、専用 agents を足す hymme と、その前提となる superpowers 本体を配る marketplace。
Add this marketplace
Then install any plugin below by name — each page has its exact command.
superpowers 前提の拡張。検証 3 系統(loop-engineering: NL→EARS→TLA+→Gherkin / test-design: 振る舞い抽出→手法選定→実装橋渡し / formal-verification: Lean 4)、git・レビュー運用スキル(diff-review / commit-flow / micro-commit / pr-create / review-feedback / ledger-flow / rebase-flow / reset-flow / gh-ci-investigate / test-targeted)、agents(diff-reviewer / modeler / prover / verification-reviewer)と、toolchain(TLA+/Apalache/Lean)を入れる Nix flake。
64 skills · 4 agents · hooks
hymme の前提プラグイン(obra/superpowers 本体、動作確認版 7.0.0)。brainstorming → writing-plans → executing-plans / subagent-driven-development → finishing-a-development-branch の工程と TDD / systematic-debugging を提供する。
15 skills · hooks
Shows how many plugins this repo ships, and links here.