43
/ 100
1 month ago
glama

PDDL MCP Server

A planning server that enables natural language to PDDL conversion, automatic problem generation, and batch task execution using the Fast Downward planner. It supports multi-robot coordination and provides detailed reporting and diagnostic capabilities for complex planning tasks.

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings
No credential exfiltration, no sensitive file access, no obfuscation
Static analysis found nothing flowing your secrets to unexpected places.
Open source with a license and README
Anyone can audit the code, the license is declared, and the publisher documents what it does.
// full audit trail
The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.
// improvement guidance — verified publishers only
We have 1 concrete improvement we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.
// embed badge in your README
[![M8ven Score](https://m8ven.ai/badge/mcp/nbnbtm-pddl-mcp-server-qcfiuz)](https://m8ven.ai/mcp/nbnbtm-pddl-mcp-server-qcfiuz)
commit: fb0a9785338edb0e5f7363966c20989c3a32c9ae
code hash: e7f4489a9deffe3bc7ae24e04da267199902a5dd71d427fdcc2916f115caeaa5
verified: 6/13/2026, 10:33:55 AM
view raw JSON →