hyhmrright/logic-lens
11 skills · 57 total installs
$npx skills add hyhmrright/logic-lensSkillInstalls
logic-reviewFind logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy).logic-diffCompare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.logic-explainExplain 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…logic-fix-allAutonomous repository-wide audit-and-fix pipeline: health → review → locate/explain → fix → diff-verify → iterate until clean.logic-healthSweep a directory, module, or full codebase for logic correctness and produce a scored health dashboard with systemic patterns.logic-locateLocate the root cause of a CONFIRMED failure via backward-then-forward semi-formal tracing.bump-versionBump the Logic-Lens version across all six metadata locations at once (package.json, the four plugin manifests, and the README badge), then validate.new-skillScaffold 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.run-iteration-evalRun the Logic-Lens content-eval pipeline for one iteration and produce a scored summary.json — use to measure a skill change.sync-skill-cacheSync the Logic-Lens working-copy skills/ into the installed plugin cache so content-evals test the EDITED skill, not the last published one.iterate-skillRun the Logic-Lens skill-improvement loop end to end — baseline → diagnose failures → edit → sync cache → re-eval → verify net gain → iterate until clean.