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-сервера

Aas-ee/open-webSearch

Aas-ee/open-webSearch

open-websearch — это MCP-сервер и CLI для веб-поиска и извлечения контента без API-ключей. Поддерживает множество поисковиков (Bing, Baidu, DuckDuckGo и др.), загружает статьи и README с GitHub. Ра...

TypeScript1615
wonderwhy-er/DesktopCommanderMCP

wonderwhy-er/DesktopCommanderMCP

Desktop Commander — MCP сервер для управления файлами, запуска терминальных команд, редактирования кода, работы с Excel, PDF и DOCX. Разработчики используют его для автоматизации задач и взаимодейс...

TypeScript8534
stack-chan/stack-chan

stack-chan/stack-chan

Stack-chan - это JavaScript-управляемый робот на базе M5Stack с супер-кавайным лицом. Управляйте эмоциями, взглядом, речью и сервоприводами. Идеален для DIY и образовательных проектов.

TypeScript1597
OctoEverywhere/mcp

OctoEverywhere/mcp

официальный

Бесплатный облачный MCP инструмент для мониторинга и управления 3D-принтерами через AI-агентов. Отслеживайте статус печати, температуру, получайте снимки с камер, ставьте на паузу или отменяйте задания. Поддерживает OctoPrint, Klipper, Bambu Lab и др.

35
lpigeon/ros-mcp-server

lpigeon/ros-mcp-server

MCP сервер для ROS соединяет LLM (Claude, GPT, Gemini) с роботами в реальном времени. Позволяет управлять, читать сенсоры и вызывать сервисы без изменения исходного кода. Полезен робототехникам и разработчикам AI для двустороннего взаимодействия с железом.

Python1346
Infobip/mcp

Infobip/mcp

официальный

Infobip MCP серверы дают AI-агентам отправлять SMS, WhatsApp, Viber, Email и push-уведомления, управлять двухфакторной аутентификацией и контактами клиентов. Просто подключитесь через MCP — и ваш AI заработает с Infobip.

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

Лука Никитин