io.github.mrfentmen/pddl-mcp
PDDL MCP: 20 real tools to read, check, lint, scaffold, build and run PDDL code.
1.0.0version the registry lists (1 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.mrfentmen/pddl-mcp
· Source code
Reported issues
None found in OSV or the NVD CVE list. Checked 15 hours ago.
Versions in the registry
1.0.0 (listed)