pstack-claude

こんな用途に

• Cursor の厳格な pstack エージェントワークフローを Claude Code、Codex、Copilot、Pi などの harness で使う
• poteto-mode に目標を伝えると適切なワークフローを選び、コードを簡潔・単純で検証済みに保つ
• /create-formal-verification-skill でコード中の最もリスクの高い性質を形式的に検証

始め方

1. Claude Code 2.1.292 以上で /plugin marketplace add michael-denyer/pstack-claude のあと /plugin install pstack@pstack-claude
2. Codex では codex plugin marketplace add michael-denyer/pstack-claude のあと codex plugin add pstack@pstack-claude
3. /skill: 名前（例: /poteto-mode）でスキルを呼び、目標を述べる

導入前に

Lauren Tan の pstack（Cursor のスキルスタック）の移植版で、上流を追従し名前付きの policy fork を持ちます。導入コマンドと必要バージョンは harness ごとに異なります。

プロジェクトの説明をもとに AI がまとめました。利用前に公式ドキュメントをご確認ください。