Sync plugins-main to cursor/plugins ddf824a (8838150..ddf824a)

[omegamaster86]

cursor/plugins 更新報告（2026-10-20）

前回確認した 8838150（#720 Meta Ads のマージ）以降、マージ済み PR が4件（コミット6件）ありました。リリースはありません。最新は ddf824a です。

X プラグイン（2.8.0）

• #725 X plugin: livestream tools：X の MCP サーバーが提供するライブ配信用ツール18個（配信ソース、ブロードキャスト、予約配信、チャットのモデレーターとミュート）に対応しました。broadcast.read と broadcast.write のスコープを要求するようになり、ガイドに「Livestreams」セクションと予約配信の手順が加わりました。
  • 意味：エージェントから X のライブ配信を予約したり、配信チャットのモデレーターやミュートを管理したりできるようになります。ただし「今すぐ配信開始」はできず、予約が開始時刻に自動で始まるか、manual_publish: true で作った予約を go_live_scheduled_broadcast で開始する形です。配信ソースの ID はストリームキーなのでチャットに出さない、オーナーが頼んだときだけ書き込む、といった安全ルールも入りました。ライブ配信ツールは課金されません。
  • 注意：既存のインストールは新しいスコープを得るために X へもう一度サインインする必要があります。

pstack（0.15.28）

• #721 create-formal-verification-skill の TLA+ デフォルトとフォールバック：処理の順序（イベント順）を検証するときは、言語を問わず TLA+ をデフォルトにしました。対象の言語で動く検証器がない場合は、その旨を伝えたうえで、自動生成した入力で実際のコードをテストします（関数を手で模したモデルは作りません）。
• #716 maintain-formal-verification-skill を追加：create 側が生成する検証スキルに「どのファイル・関数をカバーしているか」と「最後に一致を確認したコミット」を記録するようになりました。新しい maintain スキルは、そのコミット以降に対象コードを変えたコミットを読み、モデルやハーネスや性質を更新して再実行し、各チェックがまだ失敗し得ることを確かめたうえで、チェックごとに「同期済み／更新／バグ／ブロック」で報告します。README と poteto-help にも載りました。
  • 意味：形式検証を一度作って終わりにせず、コードの変更に追従させる保守の流れができました。
• #724 pstack 0.15.28 へのバージョンアップとガイドの同期：ガイドの記述を #721 の内容に合わせ、バージョンを 0.15.28 に上げました。

まとめ： X プラグインがライブ配信の予約とチャット管理に対応し（再サインインが必要）、pstack は形式検証スキルの保守用スキルを加えて 0.15.28 になりました。

---

スタックについて： 本 PR は、未マージの同期 PR #27（ベースブランチ cursor/sync-plugins-main-8838150-01b1）の上に積んであります。#27 をマージしたあとに本 PR をマージしてください。