logic-health SKILL.md skillA

logic-health from hyhmrright/logic-lens is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add hyhmrright/logic-lens/logic-health@git:20260507.46cac5d

Pins git:20260507.46cac5d in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
hyhmrright/logic-lens
Path
skills/logic-health/SKILL.md
Versions recorded
5
Latest version
git:20260507.46cac5d, committed May 7, 2026
First version recorded
Apr 28, 2026
Size
4,069 bytes
Repository stars
25
License
MIT

Sweep a directory, module, or full codebase for logic correctness and produce a scored health dashboard with systemic patterns. Trigger when the user requests a health view — "audit the whole codebase", "health check", "health overview", "logic health overview", "audit src/", "audit auth and payments modules", "where should I focus testing", "onboarding review", "logic overview before we ship", "give me a health overview of this module". SCOPE RULE: prefer multi-file; also trigger for a single…

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Logic-Lens — Logic Health

## Setup

Use lazy loading per `../_shared/common.md` §13:
1. Read `../_shared/common.md` only for language, Iron Law, Logic Score, scope routing, Remedy discipline, config fields, and loading budget.
2. Read only the relevant step in `logic-health-guide.md` as you reach it.
3. Load `../_shared/logic-risks.md`, `../_shared/semiformal-guide.md`, `../_shared/semiformal-checklist.md`, `../_shared/report-template.md`, and `../logic-review/logic-review-guide.md` on demand when the current module trace needs them.

## Process

**Step 0. Language + scope routing.** Detect language per `common.md` §1. Proceed for multi-file scopes and for single-module scopes when the user explicitly uses "health check", "health overview", or "logic health". If scope is one file and none of those health phrases appear, switch to logic-review.

**Step 1. Enumerate modules and plan the sweep** (guide Step 1) — prioritize public API surfaces, recently changed files, and user-flagged modules. Read `.logic-lens.yaml` only for `ignore:`, `focus:`, `disable:`, `severity:`, `custom_risks`, and `trace.*` fields. For broad scopes, build a ranked worklist before opening files.
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add hyhmrright/logic-lens/logic-health@sha256:f9de78a503cd04c2

The line at the top of this page pins the label git:20260507.46cac5d, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_h6pn76xa7c7idtp5.svg)](https://markdownregistry.com/a/art_h6pn76xa7c7idtp5)

1 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 5 versions of this file, between Apr 28, 2026 and May 7, 2026, about one every 2 days.

versioncommittedcommitsizeaudit
git:20260507.46cac5d latest2026-05-07 46cac5d 4,069 BA view · diff
git:20260502.7610c6f2026-05-02 7610c6f 3,906 BA view · diff
git:20260502.677a4852026-05-02 677a485 3,679 BA view · diff
git:20260429.db6dc752026-04-29 db6dc75 3,436 BA view · diff
git:20260428.837949e2026-04-28 837949e 3,449 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (4069 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

hyhmrright/logic-lens · 25 stars · license MIT · pushed 2026-10-30 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_h6pn76xa7c7idtp5
GET https://markdownregistry.com/api/v1/resolve?ref=hyhmrright/logic-lens/logic-health
GET https://markdownregistry.com/api/v1/blob/f9de78a503cd04c2a6ed0dcfee87bac941310f8c633375af1adf6372d9b3805c

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from hyhmrright/logic-lens

bump-version SKILL.md skill
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…
git:20260528.2e39bfc · audit A · 25 stars
iterate-skill SKILL.md skill
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 →…
git:20260601.6510174 · audit A · 25 stars
new-skill SKILL.md skill
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…
git:20260528.2e39bfc · audit A · 25 stars
run-iteration-eval SKILL.md skill
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…
git:20260601.6510174 · audit A · 25 stars
sync-skill-cache SKILL.md 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…
git:20260601.6510174 · audit A · 25 stars
AGENTS.md AGENTS.md file
hyhmrright/logic-lens · AGENTS.md
git:20261029.59e74ed · audit A · 25 stars
CLAUDE.md CLAUDE.md file
hyhmrright/logic-lens · CLAUDE.md
git:20261029.59e74ed · audit A · 25 stars
logic-diff SKILL.md skill
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…
git:20260515.1220707 · audit A · 25 stars
logic-explain SKILL.md skill
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…
git:20260507.46cac5d · audit A · 25 stars
logic-fix-all SKILL.md skill
hyhmrright/logic-lens · skills/logic-fix-all/SKILL.md · Autonomous repository-wide audit-and-fix pipeline: health → review → locate/explain → fix → diff-verify → iterate until…
git:20260507.46cac5d · audit A · 25 stars
logic-locate SKILL.md skill
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…
git:20260515.1220707 · audit A · 25 stars
logic-review SKILL.md skill
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…
git:20260808.69de591 · audit A · 25 stars

Every file in hyhmrright/logic-lens

Browse by kind, by grade A, or by owner.