SPL-BGU/PlanningCopilot
🔌 MCPサーバーSPL-BGU
LLMにPDDL計画パイプラインを統合し、信頼性の高いドメイン非依存の自動推論を実現するMCPサーバー。
PlanningCopilotは、LLMに形式的な計画能力を付与するために設計された専門的なMCPサーバーです。自然言語の要件をPDDL仕様に変換し、堅牢な古典的計画ソルバーで処理することで、LLMが陥りやすいハルシネーションや推論エラーを回避します。主な機能には、ドメインおよび問題ファイルの自動生成、標準的なPDDLソルバーとのシームレスな統合、Model Context Protocolを介した標準化されたインターフェースが含まれます。推論ロジックをモデルの重みから分離することで、計画プロセスを検証可能かつ再現性の高いものにします。物流、ロボティクス、スケジューリングなど、論理的整合性が不可欠な分野で特に威力を発揮し、LLMを形式論理のオーケストレーターへと変貌させます。
💡ハイライト
- ├─PDDL計画パイプラインの完全統合
- ├─ドメインに依存しない推論能力
- └─Model Context Protocol標準対応
🎯対象
- ├─AI研究者
- ├─ロボット工学エンジニア
- └─ソフトウェア開発者