[omegamaster86]

cursor/plugins 更新（f2bad52 → 9b93e81）

新しいプラグイン

• Vanta（#766）：コンプライアンス管理サービス Vanta の公式 MCP サーバーに接続するプラグインです。Vanta はリージョンごとにサーバーが分かれているので、vanta-us・vanta-eu・vanta-aus の3つが入っています。Vanta アカウントで OAuth サインインし、テスト・コントロール・フレームワーク・リスク・脆弱性のデータをエージェントから読んだり直したりできます。
• Stable（#778）：Stable のホスト型 MCP サーバーに接続するプラグインです。バーチャル郵便受けの郵便物やスキャン文書の参照、Stable API の汎用呼び出しができます。利用には STABLE_API_KEY（x-api-key ヘッダーで送信）の設定が必要です。

pstack

• statechart スキル追加（#741）：新しい /statechart スキルで、TLA+ モデルを TLC が探索した状態グラフから Mermaid のステートチャートとして描けるようになりました。TLA+ を読めない PM やデザイナーでもチャートで設計を確認できます。修正前後の比較（--fixed）、既存仕様に対するコードの監査（--against）、合意済みチャートから TLA+ の骨組みを書く from-chart も入っています。Claude Code 版ハーネスにも同じものが入りました。
• statechart の6件の修正（#776）：変数の違う2つ目のモデル、TLC のクラッシュ、INVARIANT と PROPERTY の両方に書かれたルールなどで、間違ったチャートや終了コードを黙って返す問題を直しました。--expect-broken が PROPERTY を受け付けるようにもなっています。
• statechart のコメント整理（#779）：コードを繰り返しているだけのコメントを削除し、ヘルパー名をわかりやすく変更しました（例：quote を escapeMermaidQuotes に）。動作は変わりません。

まとめ： Vanta と Stable の2つの MCP プラグインが追加され、pstack には TLA+ モデルをステートチャートで見せる statechart スキルが入りました。

---

Sync metadata: 77 files changed; upstream range f2bad52..9b93e81 (commit 9b93e81fb2921b9263d9463c15bafeabfe3903aa). Post-sync diff -rq against a fresh upstream checkout (excluding .git) was empty.