implement_plan_micro
Implement technical plans from thoughts/shared/plans with verification
Profile →npx skills add parcadei/Continuous-Claude-v3 --skill implement_plan_micro --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 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} ``` ## Temporal Epistemic Logic (TEL) ``` # File reading constraints [](mentioned(f) -> <>read_fully(f)) # Ev
- Multimodal Logic Integration
- Justification Logic (JL)
- Inferential Erotetic Logic (IEL)
- Temporal Epistemic Logic (TEL)
- Standard Deontic Logic (SDL)
- Dynamic Epistemic Logic (DEL)
- Bridge Principles
- State Machine
- Output Schema
- Mode Selection
- Templates
What does the implement_plan_micro skill do?
Implement technical plans from thoughts/shared/plans with verification
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill implement_plan_micro --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From parcadei/Continuous-Claude-v3, a repository with 3,879 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.