# Logic Health

> >

- **Type:** Skill
- **Install:** `agentstack add skill-hyhmrright-logic-lens-logic-health`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [hyhmrright](https://agentstack.voostack.com/s/hyhmrright)
- **Installs:** 0
- **Category:** [AI & ML](https://agentstack.voostack.com/c/ai-and-ml)
- **Latest version:** 0.1.0
- **License:** MIT
- **Upstream author:** [hyhmrright](https://github.com/hyhmrright)
- **Source:** https://github.com/hyhmrright/logic-lens/tree/main/skills/logic-health
- **Website:** https://github.com/hyhmrright/logic-lens

## Install

```sh
agentstack add skill-hyhmrright-logic-lens-logic-health
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

# 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.

**Step 2. Run focused logic-review per module** (guide Step 2) — apply Premises → Trace → Divergence on public-facing functions; skip internal helpers unless a trace leads into them. Apply the per-module function budget from guide Step 2 (small/medium/large line-count tiers) — do not trace all functions in large modules.

**Step 3. Record findings per module** (guide Step 3) — tag module, L-code, severity.

**Step 4. Aggregate findings** (guide Step 4) — counts by severity and by L-code; cross-reference modules.

**Step 5. Compute scores** (guide Step 5) — per-module Logic Score via the standard formula; overall score is the line-weighted average (per `common.md` §6).

**Step 6. Identify systemic patterns** (guide Step 6) — L-codes appearing in **≥ 3 modules or ≥ 30% of scanned modules (whichever threshold is lower)** indicate codebase-wide habits; architectural enablers (heavy global state → L7; deep callee chains → L6) get explicit mention.

**Step 7. Output the Health Report** (guide Step 7) — standard header; Findings; Summary; then Module Breakdown, Systemic Patterns, and Recommended Priority Order (top 3–5) appended after Summary. Localize all headers if the user wrote in Chinese.

**Mode line in report:** `Logic Health` (Chinese: `逻辑体检`).

**Health-specific additions** (append after the standard Summary):

```
## Module Breakdown

| Module | Score | Critical | Warning | Suggestion | Top Risk |
|--------|-------|----------|---------|------------|----------|

## Systemic Patterns
[Risk codes appearing in ≥ 3 modules or ≥ 30% of scanned modules — codebase-wide habit rather than isolated bugs]

## Recommended Priority Order
1. [Most critical single finding]
2. [Systemic pattern with widest impact]
3. [Quick wins: suggestions that prevent future Criticals]
```

Localize column and section headers when the user wrote in Chinese (e.g., `模块分布`, `系统性模式`, `优先级建议`).

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [hyhmrright](https://github.com/hyhmrright)
- **Source:** [hyhmrright/logic-lens](https://github.com/hyhmrright/logic-lens)
- **License:** MIT
- **Homepage:** https://github.com/hyhmrright/logic-lens

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-hyhmrright-logic-lens-logic-health
- Seller: https://agentstack.voostack.com/s/hyhmrright
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.
