PlanningCopilot

A tool-augmented LLM system for the full PDDL planning pipeline, improving reliability without domain-specific training.

→ SPL-BGU/PlanningCopilot · listed on glama

Install from

Glama

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/spl-bgu-planningcopilot-1kv66h)](https://m8ven.ai/mcp/spl-bgu-planningcopilot-1kv66h)

commit: 9f09a74633fb1f07b83eb807fc5a05d2da1c4653

code hash: b6ba68dd033e67cfe681c3bb4e6a935974b65e3a16ccd4bb087c5a6c711e953f

verified: 4/11/2026, 2:50:38 PM

view raw JSON →