PlanningCopilot
A tool-augmented LLM system for the full PDDL planning pipeline, improving reliability without domain-specific training.
Caution. Specific findings reduced this grade. They are listed on the page. Grades reflect the full trust pyramid: code, verification depth, and reputation. New projects cap at C until adoption is earned.
How we verified
Verified is a snapshot. Live keeps it current, and builds your track record.
⚡ Connect GitHub → continuous verification on every pushwhy connect →Who stands behind it
SPL-BGU
Source: Glama
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. Or connect your repo for our deepest verification, Live Monitored: read-only, revoke anytime. What we access →
Install from
The grade above is for the source repository. Registries can serve a different version, so we mark the ones we were not able to read.
These names and descriptions are the publisher's own, read from the source code. We print them as written. Our assessment is the findings above, not this list.
numeric_plannername: numeric_planner description: | Computes a plan for a PDDL 2.1 planning problem with numeric fluents and durative actions. Accepts file paths to the domain and problem definitions and returns an ordered list of actions that form a valid plan to achieve the goal. parameters: - name: domain type:…
classic_plannername: classic_planner description: | Computes a plan for a classical PDDL planning problem. This planner does not support numeric fluents or durative actions — providing such features will result in an error. Accepts file paths to the domain and problem definitions and returns an ordered list of act…
save_planname: save_plan description: | Saves the computed plan to a file. Accepts the domain file path and the computed plan as a list of actions. parameters: - name: domain type: string description: | File path to the PDDL domain definition file, used to determine the directory for saving the plan. - name:…
validate_pddl_syntaxname: validate_pddl_syntax description: | Validates the syntax and basic semantics of a PDDL domain file, and optionally a PDDL problem file, using the VAL Validate tool. It checks for errors such as missing predicates, type mismatches, and malformed actions. If a problem file is provided, it will a…
get_state_transitionname: get_state_transition description: | Creates a trajectory from the given domain, problem, and solution files. Returns a list of state transitions in the trajectory, where each state is represented as a string. parameters: - name: domain type: string description: | File path to the PDDL domain d…
Tool annotations
No tools have read-only/destructive annotations
Add readOnlyHint or destructiveHint annotations to every tool so hosts can warn users before invoking.
All four hints declared on every tool
5/5 tools missing one or more hints — numeric_planner (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); classic_planner (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); save_plan (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint), +2 more. OpenAI's directory rejects tools where any of the four hints are missing or non-boolean.
For every tool, set all four hints (readOnlyHint, destructiveHint, idempotentHint, openWorldHint) to explicit true/false values that match the handler’s actual behaviour.
Descriptions match behaviour
1 tool describes read intent but its handler mutates — save_plan (line 101: with open(filename, "w") as file:)
Rename the tool, rewrite the description, or move the side-effect into a separate clearly-named tool.
Tool handlers catch errors
Only 0/5 tool handlers wrap calls in try/catch (0%)
Wrap each tool handler body in try/catch and return a structured error response.
Tests exist
No test files found
Add tests that exercise each declared tool.
Tool description accuracy
save_plan: description implies read-only but handler writes/deletes/executes
Update tool descriptions to accurately reflect all capabilities — especially write, delete, or execute operations.
Claim the listing to review these findings one by one and send us a correction where you disagree, straight to the team. Claiming also means we tell you when the grade moves, and reach you first if we find anything urgent.
[](https://m8ven.ai/mcp/spl-bgu/planningcopilot)?variant=verified from the URL.Vetting this one by hand? Tool Check is an MCP that scores other MCPs. Add it once and ask Claude, ChatGPT, or any MCP client to grade a server, surface CVEs, check the publisher, and suggest safer alternatives — before you install.
https://m8ven.ai/api/mcp/tool-check