logic-locate SKILL.md skillA

logic-locate 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-locate@git:20260515.1220707

Pins git:20260515.1220707 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-locate/SKILL.md
Versions recorded
5
Latest version
git:20260515.1220707, committed May 15, 2026
First version recorded
May 2, 2026
Size
3,698 bytes
Repository stars
25
License
MIT

Locate the root cause of a CONFIRMED failure via backward-then-forward semi-formal tracing. Trigger when the user provides a stack trace, failing assertion, error message, or specific wrong-value observation — "find the bug", "this test is failing", "track down this crash", "why is this test failing", "KeyError at line 89", "expected 70, got 100", "NoneType has no attribute X", "cart empties when second tab opens". SCOPE HARD RULE: requires a concrete failure…

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 — Fault Locate

## Setup

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

## Process

**Step 0. Language + scope routing.** Detect language per `common.md` §1. Confirm a concrete failure exists (stack trace, failing assertion, specific wrong value). If only a suspicion, switch to logic-review.

**Step 1. Understand the failure** (guide Step 1) — observed behavior, expected behavior, reproduction path.

**Step 2. Identify the entry point** (guide Step 2) — failing test, outermost application frame, or request handler — whichever is closest to the failure. Stay inside the failure cone first: stack frames, failing test fixture, directly called local functions, and config/env values read on that path. Do not scan unrelated modules unless the trace crosses into them.
…

Read the whole file at its exact version.

How to install

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

The line at the top of this page pins the label git:20260515.1220707, 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_hmh4vmsf4sajiu67.svg)](https://markdownregistry.com/a/art_hmh4vmsf4sajiu67)

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

Versions

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

versioncommittedcommitsizeaudit
git:20260515.1220707 latest2026-05-15 1220707 3,698 BA view · diff
git:20260507.46cac5d2026-05-07 46cac5d 3,688 BA view · diff
git:20260502.7610c6f2026-05-02 7610c6f 3,555 BA view · diff
git:20260502.5c266712026-05-02 5c26671 3,353 BA view · diff
git:20260502.677a4852026-05-02 677a485 3,395 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 (3698 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_hmh4vmsf4sajiu67
GET https://markdownregistry.com/api/v1/resolve?ref=hyhmrright/logic-lens/logic-locate
GET https://markdownregistry.com/api/v1/blob/dcad44f05e996c46647b000cad4484d7860b36de1ad676f71f40c3a397a3293f

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-health SKILL.md skill
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…
git:20260507.46cac5d · 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.