hyhmrright/logic-lens

1

logic-review Find logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Trigg…

hyhmrright/logic-lens

54

2

logic-diff Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger whe…

hyhmrright/logic-lens

49

3

logic-explain Explain what a specific piece of code actually does for a given input by producing a step-by-step execution trace (in…

hyhmrright/logic-lens

47

4

logic-locate Locate the root cause of a CONFIRMED failure via backward-then-forward semi-formal tracing. Trigger when the user pro…

hyhmrright/logic-lens

47

5

logic-fix-all Autonomous repository-wide audit-and-fix pipeline: health → review → locate/explain → fix → diff-verify → iterate unt…

hyhmrright/logic-lens

15

6

logic-health Sweep a directory, module, or full codebase for logic correctness and produce a scored health dashboard with systemic…

hyhmrright/logic-lens

12

7

bump-version Bump the Logic-Lens version across all six metadata locations at once (package.json, the four plugin manifests, and t…

hyhmrright/logic-lens

4

8

new-skill Scaffold a new logic-* skill in the Logic-Lens repo and wire it into every place a skill must be registered, so no st…

hyhmrright/logic-lens

4

9

run-iteration-eval Run the Logic-Lens content-eval pipeline for one iteration and produce a scored summary.json — use to measure a skill…

hyhmrright/logic-lens

4

10

sync-skill-cache Sync the Logic-Lens working-copy skills/ into the installed plugin cache so content-evals test the EDITED skill, not …

hyhmrright/logic-lens

4