-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
- #19 · yarinbnyamin opened
on Mar 27, 2026 2
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#55 In SPL-BGU/pddl-copilot;
pddl-parser: domain hygiene linter (domain_lint)
enhancementimproving features projectimproving features projectmcp-toolinvolves a mcp-toolinvolves a mcp-toolpddlinvolves pddl explicitlyinvolves pddl explicitlyplugininvolves plugininvolves pluginStatus: Open.#48 In SPL-BGU/pddl-copilot;pddl-solver: ADL -> STRIPS compilation wrapper (compile_to_strips)
enhancementimproving features projectimproving features projectmcp-toolinvolves a mcp-toolinvolves a mcp-toolpddlinvolves pddl explicitlyinvolves pddl explicitlyplugininvolves plugininvolves pluginStatus: Open.#45 In SPL-BGU/pddl-copilot;Live Interactive Loop with PDDL
mcp-toolinvolves a mcp-toolinvolves a mcp-toolpddlinvolves pddl explicitlyinvolves pddl explicitlysuggestionNew idea or requestNew idea or requestStatus: Open.#19 In SPL-BGU/pddl-copilot;