arben-adm/mcp-sequential-thinking

解決する課題

このプロジェクトは、AIモデルが推論プロセスを記録、整理、追跡するための構造化された方法を提供します。多くのモデルが「思考の連鎖（chain-of-thought）」アプローチを使用していますが、その思考はしばしば一時的です。このサーバーは、耐久性がありスキーマ検証済みの思考日記を作成し、モデルが論理の追跡記録を維持し、過去の思考を修正し、代替の推論経路（分岐）を探索できるようにします。主な思考の流れを失うことはありません。

動作方法

これはModel Context Protocol (MCP) サーバーとして動作し、AIモデルにツールセットを公開します。モデルはこれらのツールを使って、特定の認知段階（問題定義、調査、分析、統合、結論）に思考を記録します。

主な技術的メカニズムは以下の通りです：

• 永続性：思考は追加のみ可能なJSONLログに保存され、クラッシュや再起動後も推論セッションが保持されます。
• 構造的検証：Pydanticを使用して、思考が厳密なスキーマに従っていることを保証し、認知段階を飛ばしたり戻ったりした場合にモデルに警告を出します。
• 分岐と修正：サーバーは、どの思考が以前のものからの修正か、または特定の時点からの分岐かを追跡します。
• 分析ツール：類似した語彙の思考を検出でき、推論プロセスの決定論的要約（分岐や修正の統計を含む）を生成できます。

対象ユーザー

• AI開発者：複雑な多段階推論と検証可能な追跡記録を必要とするエージェントやLLMアプリケーションを開発する人。
• MCP対応エディタのパワーユーザー：Claude Desktop、Cursor、VS Code、Zedを使用し、AIアシスタントがより体系的かつ構造的に問題解決できるようにしたい人。
• 研究者：AIが結論に至るまでの正確な推論経路をエクスポート・共有したい人。

特徴

• 耐久性のあるセッション：メモリのみの実装とは異なり、永続的ストレージ、セッションのエクスポート・インポートをサポート。
• 認知段階の追跡：問題定義から結論に至る論理的な流れを強制または促進。
• 非線形推論：明示的な分岐（代替経路のフォーク）と過去の思考の修正をサポート。
• 監査証跡：論理プロセスのすべてのステップ（使用された公理や挑戦された仮定を含む）を型付きで構造化された記録として提供。