bump-version
Bump the Logic-Lens version across all six metadata locations at once (package.json, the four plugin manifests, and the README badge), then validate. Use when…
Run the Logic-Lens skill-improvement loop end to end — baseline → diagnose failures → edit → sync cache → re-eval → verify net gain → iterate until clean. Use whenever the goal is to RAISE a skill's eval score or fix a failing eval mode: "improve logic-review", "the format
$ npx -y skills add hyhmrright/logic-lens --skill iterate-skill --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
/iterate-skillContext preview
The summary Claude sees to decide when to auto-load this skill.
Run the Logic-Lens skill-improvement loop end to end — baseline → diagnose failures → edit → sync cache → re-eval → verify net gain → iterate until clean. Use whenever the goal is to RAISE a skill's eval score or fix a failing eval mode: "improve logic-review", "the format
name: iterate-skill
description: Run the Logic-Lens skill-improvement loop end to end — baseline → diagnose failures → edit → sync cache → re-eval → verify net gain → iterate until clean. Use whenever the goal is to RAISE a skill's eval score or fix a failing eval mode: "improve logic-review", "the format compliance is failing, fix it", "iterate on this skill until the evals pass", "raise the score", "re-run the loop on the latest failures", "run another iteration", "tune the skill description / disambiguation table against the evals". Also use to RESUME a prior loop ("continue improving from where we left off", "do another pass", "iterate further"). Do NOT use for: a one-off question about a skill, shipping a release (use bump-version), or scaffolding a brand-new skill (use new-skill).
disable-model-invocation: trueThis is the harness orchestrator. It coordinates three agents and two support skills into one deterministic loop that raises a skill's eval score without overfitting or grader-gaming.
**Execution mode: sub-agent pipeline (generate → test → verify).** Each step's output is the next step's input, handed off through the filesystem (`skills-workspace/iteration-<TAG>/`) and agent return values. There is no peer-to-peer team chatter, so agents are spawned via the `Agent` tool — **always with `model: "opus"`**, and **`subagent_type` set to the agent's own definition name** (e.g. `subagent_type: "skill-editor"`), not `"general-purpose"` — passing `general-purpose` would discard the role/principles in `.claude/agents/<name>.md`, defeating the harness. Agents return results to this orchestrator, which owns state and the ship/rollback decisions.
**Agents (who) — all in `.claude/agents/`, spawn by these exact `subagent_type` names:** | `subagent_type` | Role | |-----------------|------| | `eval-failure-analyzer` | Read-only: cluster failures, map to eval IDs, propose minimal edits | | `skill-editor` | Apply one minimal, generalized edit; refuse grader edits | | `iteration-guard` | Verify net gain vs variance; recommend SHIP / ROLLBACK / RERUN (orchestrator executes any revert) |
**Support skills (how):** `sync-skill-cache` (mandatory pre-eval gate), `run-iteration-eval` (run + grade).
Determine the run mode before doing anything:
or "another pass" → **resume**: use the latest as baseline, skip re-baselining.
Confirm the target skill (which of the six `logic-*`) and the failing mode with the user if ambiguous — do not guess which skill to mutate.
If no usable baseline exists for the target: run the `run-iteration-eval` skill (sync cache, then a full or mode-scoped run) to get `summary.json`. This is the number every later iteration is judged against. Record its TAG.
Spawn `eval-failure-analyzer` (`Agent`, `model: "opus"`) pointed at the baseline iteration dir. It returns the prioritized failure modes, the exact failing eval IDs, and concrete edit proposals. Pick the single highest (failure-count × ease-of-fix) mode for this iteration. **One mode per iteration** — batching edits makes the verify step unable to attribute a regression.
Spawn `skill-editor` (`Agent`, `model: "opus"`) with the chosen proposal. It applies one minimal, generalized edit and reports what it touched + its risk note. If it refuses (the proposal needs a grader/assertion change), drop that proposal and pick another mode — never relax the grader.
Run `sync-skill-cache`. If it reports DRIFT or a missing cache, **stop the loop** and surface it — an unsynced eval grades stale content and wastes the run. Do not proceed to Phase 5 until it prints OK.
Run `run-iteration-eval` scoped to the affected mode's case IDs (cheap) for a fast read; widen to a full run before a final SHIP decision. New `summary.json`, new TAG.
Spawn `iteration-guard` (`Agent`, `model: "opus"`) with the baseline and candidate iteration dirs + the editor's risk note. Act on its verdict:
before deciding.
If SHIP and more modes remain and the score isn't at target → loop back to Phase 2 on the next mode. Otherwise produce the **迭代报告** (in 简体中文): baseline→final overall + logic/format subscores, the per-iteration Fix Log (mode, edit, verdict), and any mode left unresolved with why.
After reporting, offer Phase 7 evolution (harness skill): if the same failure mode recurs across loops, or the editor keeps refusing the same proposal, propose a harness change (a new disambiguation rule in the editor's principles, a new agent) and log it in CLAUDE.md's 변경 이력.
agents read these dirs directly. Never delete a prior iteration dir — it is the rollback reference and the audit trail.
decides the next step. Agents do not call each other.
1-retry then proceed-with-note. Specifically:
the
Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.
Repo: hyhmrright/logic-lens
Bump the Logic-Lens version across all six metadata locations at once (package.json, the four plugin manifests, and the README badge), then validate. Use when…
Scaffold a new logic-* skill in the Logic-Lens repo and wire it into every place a skill must be registered, so no step is missed. Use when adding a seventh…
Run the Logic-Lens content-eval pipeline for one iteration and produce a scored summary.json — use to measure a skill change. Wraps…
Sync the Logic-Lens working-copy skills/ into the installed plugin cache so content-evals test the EDITED skill, not the last published one. ALWAYS run this…
Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger when the user shares a refactor, rewrite,…
Explain what a specific piece of code actually does for a given input by producing a step-by-step execution trace (interprocedural, with name resolution and…