plan-validation

Here are 4 public repositories matching this topic...

grys-upm / AFarCloud-Mission-Manager

Mission Manager (middleware) developed for the AFarCloud EU Research Project

mqtt middleware rest rest-api thrift isobus precision-agriculture unmanned-ground-vehicle mission-manager unmanned-aerial-vehicle precision-farming autonomous-unmanned-robots data-distribution-service plan-validation plan-parsing prescription-map

Updated Jul 5, 2026
Java

snowholt-labs / plan-validation

Star

Rehearse implementation plans before coding. Claude Code plugin and Codex skills with scope tracking, evidence reports, and fresh-session handoffs.

superpowers developer-tools codex ai-agents plan-validation agent-skills claude-code implementation-plans

Updated Nov 5, 2026
Python

lmbgithub / planning-planner-benchmark

Star

A benchmark of seven PDDL planners that verifies results instead of trusting the service summary line: 6/7 reported success, 2/7 plans that exist. Zero dependencies, 61 tests.

python benchmark ai planning pddl automated-planning symbolic-ai plan-validation

Updated Sep 20, 2026
Python

lmbgithub / planning-pddl-rovers

Star

PDDL rover models across three variants with a STRIPS plan validator, built around a modelling bug that makes an impossible plan fully valid. Zero dependencies, 131 tests.

python parser ai artificial-intelligence planning pddl strips knowledge-representation automated-planning symbolic-ai plan-validation

Updated Sep 20, 2026
Python

Add this topic to your repo

To associate your repository with the plan-validation topic, visit your repo's landing page and select "manage topics."

Learn more