Planning GitHub Repositories (2026) · Open Source Tools

Spec-driven development (SDD) for AI coding assistants.

👁️ Review AI generated code and plan changes

Human-in-the-loop planning extension for the Pi coding agent. Turns rough change requests into versioned Markdown plans, stores them in a configurable artifact root, refines them through reviewer/criticizer subagents, and gates implementation behind tracked execution and explicit approval.

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

Architect-centric agentic swarm plugin for OpenCode. Hub-and-spoke orchestration with SME consultation, code generation, and QA review.

Faster than your agent alone. And better. A workflow plugin that takes a bug, idea or ticket to a verified pull request: specs, cross-model review by risk, live QA, receipts in your repo. Claude Code · Codex · Cursor · Droid · Grok Build · OpenCode · Muse Code.

The Fast Downward domain-independent classical planning system

MIGHTY: Hermite spline-based real-time trajectory planner for single- and multi-agent UAVs and ground robots (ROS 2). Accepted to IEEE RA-L.

A self-hosted application for sharing wishlists and collaborating on gifts and presents.

Unquestionable PDDL 3.1 parser

PlanDev - A software framework for modeling spacecraft.

LLM agents: curated papers on planning, memory, tool use, multi-agent systems, evaluation, and safety.