■ 概要 Cursor のpstack（エージェント開発向けskill stack）をClaude Code/Codex/Pi に移植したプラグイン。AIエージェントが目標を自動的に適切なワークフローにルーティングし、コード品質と検証を標準化。 ■ 特徴・用途 - **Opinionated Architecture**: Cursorで実証済みの設計パターンをそのまま移植。skill選定の認知負荷をpoteto-modeが吸収し、一貫性を確保。 - **Workflow自動ルーティング**: タスク型（バグ修正・リファクタ・新機能等）ごとにカスタマイズされたagent/tool構成を選定。テスト・型チェック・形式検証も組み込み。 - **形式検証の組み合わせ可能**: 並行処理やテスト到達不可能な不変量には `agent-formal-verify`（TLA+/Lean）を併用し、proof-level の保証を追加。 ■ 結論 定型開発タスク・大規模リポジトリ・チーム共有ルールが確立している環境では**意思決定の標準化と執行速度を大幅に向上**。ただし、プロトタイプ・実験的作業・非標準ドメインではルーティングルール自体が障壁になる可能性。