SPL-BGU/PlanningCopilot

SPL-BGU/PlanningCopilot

от spl-bgu
PlanningCopilot — MCP сервер для интерактивного PDDL-планирования на естественном языке. Включает решатели FastDownward и Metric-FF, верификатор VAL и симулятор исполнения. Упрощает разработку и тестирование AI-задач планирования.

Toward PDDL Planning Copilot

Glama MCP Server arXiv Paper Python Version Code style: black

Getting Started

We present the Planning Copilot, a chatbot that brings together multiple planning tools and lets users run them using natural language instructions. It’s built on the Model Context Protocol (MCP), which makes it easy for language models to interact with external tools and systems.

The Planning Copilot is modular, so each part can be swapped out, upgraded, or extended without affecting the rest of the system. In the current implementation, Solve uses FastDownward for classical planning and Metric-FF for numeric planning, Verify uses VAL to validate plans, and Execute relies on PDDL_Plus_Parser to simulate and track plan execution.

Dependencies

  1. Make sure that Python 3.10 is installed and active (via virtual environment or conda environment).
  2. Install the latest version of Ollama to run it locally.
  3. Install all project requirements:
python -m pip install -r requirements.txt

Usage

How to use the environment:

  1. Update all the paths and settings in the config.py file.
  2. Run the LLM chat with:
У этого сервера пока нет списка инструментов.

Похожие MCP-сервера

pminervini/deep-research-mcp

pminervini/deep-research-mcp

от pminervini

MCP-сервер для глубоких исследований с поддержкой OpenAI, Gemini и DR-Tulu. Включает систему уточнения запросов, длительные задачи и интеграцию с Claude Code. Помогает автоматизировать сбор данных.

Python⭐ 115
nullpath-labs/mcp-client

nullpath-labs/mcp-client

от nullpath-labs

MCP-сервер для поиска и запуска AI-агентов с маркетплейса nullpath. Подключается к Claude Desktop и Cursor, позволяя находить агентов по описанию, проверять репутацию и выполнять платные задачи с а...

TypeScript⭐ 1
doggychip/agentforge

doggychip/agentforge

от doggychip

AgentForge — унифицированный API-шлюз и маркетплейс AI-агентов. С одним ключом получаете доступ к 300+ готовым агентам, не управляя отдельными авторизациями. Встроенный MCP-сервер позволяет подключ...

TypeScript⭐ 4
i-am-bee/acp-mcp

i-am-bee/acp-mcp

от i-am-bee

Лёгкий MCP сервер-адаптер, соединяющий ACP-агентов с MCP-приложениями. Автоматически обнаруживает ACP-агентов, делая их доступными как MCP-ресурсы и инструменты. Полезен для интеграции агентов из ACP в экосистему Claude Desktop и других MCP-клиентов.

Python⭐ 36
incentivai/quickchat-ai-mcp

incentivai/quickchat-ai-mcp

от incentivai

MCP-сервер для подключения созданных в Quickchat AI агентов к Claude Desktop, Cursor, VS Code и другим AI-инструментам. Управляйте поведением агента через дашборд и делитесь готовым конфигом с поль...

Python⭐ 24
DollhouseMCP/mcp-server

DollhouseMCP/mcp-server

от dollhousemcp

DollhouseMCP — open-source сервер для кастомизации AI. Модульные элементы (персонажи, навыки, шаблоны) в локальном портфолио. Gatekeeper контролирует доступ. Полезен разработчикам для тонкой настро...

TypeScript⭐ 46
© Каталог MCP, 2026. Все права защищены.
Проект не аффилирован с Anthropic и любыми упомянутыми продуктами.
Все названия и торговые марки принадлежат их владельцам.
Контакты для связи: hi@mcp-katalog.ru

Лука Никитин