13 instruction files for AI agents, collected from hyhmrright/logic-lens. Install any of them at an exact version with mdr add hyhmrright/logic-lens/<name>.
hyhmrright/logic-lens · .claude/skills/bump-version/SKILL.md · Bump the Logic-Lens version across all six metadata locations at once (package.json, the four plugin manifests, and the…
hyhmrright/logic-lens · .claude/skills/iterate-skill/SKILL.md · Run the Logic-Lens skill-improvement loop end to end — baseline → diagnose failures → edit → sync cache → re-eval →…
hyhmrright/logic-lens · .claude/skills/new-skill/SKILL.md · Scaffold a new logic-* skill in the Logic-Lens repo and wire it into every place a skill must be registered, so no step…
hyhmrright/logic-lens · .claude/skills/run-iteration-eval/SKILL.md · Run the Logic-Lens content-eval pipeline for one iteration and produce a scored summary.json — use to measure a skill…
hyhmrright/logic-lens · .claude/skills/sync-skill-cache/SKILL.md · Sync the Logic-Lens working-copy skills/ into the installed plugin cache so content-evals test the EDITED skill, not…
hyhmrright/logic-lens · skills/logic-diff/SKILL.md · Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger when…
hyhmrright/logic-lens · skills/logic-explain/SKILL.md · Explain what a specific piece of code actually does for a given input by producing a step-by-step execution trace…
hyhmrright/logic-lens · skills/logic-health/SKILL.md · Sweep a directory, module, or full codebase for logic correctness and produce a scored health dashboard with systemic…
hyhmrright/logic-lens · skills/logic-locate/SKILL.md · Locate the root cause of a CONFIRMED failure via backward-then-forward semi-formal tracing. Trigger when the user…
hyhmrright/logic-lens · skills/logic-review/SKILL.md · Find logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Trigger…