Implement Plan Micro

This is the orchestration engine for multi-step technical implementations. It reads plans from thoughts/shared/plans, decides whether to implement directly or spawn sub-agents per task, and creates handoffs that survive context compaction. The formal spec is dense but the practical bit is straightforward: it handles verification gates (automated then manual), stops on mismatches to ask you how to proceed, and maintains a ledger so work continues after compaction. You'd reach for this when you have a 4+ task plan and need agents to hand off context to each other rather than doing everything in one shot. The justification logic chains and temporal constraints are probably overkill for most cases, but the handoff persistence is legitimately useful.

skills.sh installs: 397
GitHub stars: 3.9K
last updated: Aug 21, 2026

View on GitHub

Install

$ npx -y skills add parcadei/continuous-claude-v3 --skill implement_plan_micro --agent claude-code

Installs into .claude/skills of the current project.

Files

Formal Specification

Multimodal Logic Integration

Five modal logics via fusion with bridge principles:

JL: Justification Logic - evidence-backed claims
IEL: Inferential Erotetic Logic - question handling
TEL: Temporal Epistemic Logic - phase sequencing
SDL: Standard Deontic Logic - obligations/permissions
DEL: Dynamic Epistemic Logic - action modalities

Justification Logic (JL)

# Justification terms
[h]:context(task_n)                    # Handoff h justifies task context
[v]:verified(phase_n)                  # Verification v justifies completion
[p]:plan(tasks)                        # Plan p justifies task list

# Evidence production
[read(f)]exists e. [e]:content(f)
[verify(c)]exists v. [v]:pass(c) | [v]:fail(c)

# Handoff chain: evidence propagates
[h_n]:complete(task_n) -> [h_{n+1}]:context(task_{n+1})
proceed(task) <-> exists h. [h]:validated

Inferential Erotetic Logic (IEL)

# Mode and blocker questions
?{direct, orchestration}               # Mode selection
?{continue, retry, ask_user}           # Blocker resolution
mismatch(plan, reality) -> ?{how_proceed}
no_validation -> ?{run_validation_first}

SKILL.md on GitHub