About

Imported from sickn33/agentic-awesome-skills (skills/logic-lens/SKILL.md). Install upstream with npx skills add sickn33/agentic-awesome-skills --skill logic-lens. Copyright stays with the author (MIT).

Logic Lens

Name: logic-lens
Author: sickn33

Overview

Logic Lens is a Claude Code skill that performs deep, logic-driven code review using formal reasoning frameworks. Unlike traditional linters that check syntax and style, Logic Lens analyzes your code for logical errors, race conditions, security vulnerabilities, type mismatches, and algorithmic flaws that only appear when you reason through the code's behavior.

Powered by structured AI analysis, Logic Lens applies systematic logical inspection across 9 risk categories: null/undefined handling, type safety, concurrency, resource management, security injection, boundary conditions, algorithm correctness, state management, and API contract violations.

When to Use This Skill

Use when you want a thorough logic review before merging a PR
Use when a bug seems hard to find and standard linters aren't helping
Use when reviewing security-sensitive code paths (auth, payments, file access)
Use when refactoring complex business logic
Use when onboarding to a new codebase and need to understand risk areas

How It Works

Logic Lens uses Claude Code's reasoning capabilities to:

Parse code structure and build a mental model of data flow
Apply formal logic checks across 9 risk categories
Trace execution paths for edge cases and boundary conditions
Identify security anti-patterns (injection, privilege escalation, data leakage)
Report findings with severity levels and actionable fix suggestions

Installation

# Install via Claude Code plugin marketplace
# Search: "logic-lens" in Claude Code > Extensions

# Or install via NPX (Antigravity)
npx agentic-awesome-skills --claude
# Then invoke: @logic-lens

Examples

Example 1: Review a Single File

@logic-lens review src/auth/login.ts for security issues

Logic Lens output:

[CRITICAL] SQL Injection risk at line 42: user input concatenated into query string
[HIGH] Missing rate limiting on login attempts
[MEDIUM] Password comparison uses == instead of timing-safe comparison
[LOW] Error messages may leak valid usernames (user enumeration)

Example 2: Full Repository Scan

@logic-lens scan the entire codebase and prioritize by severity

Example 3: Pre-PR Review

@logic-lens review all files changed in this branch before I open a PR

The 9 Risk Categories

Category	What It Checks
Null/Undefined	Missing null checks, optional chaining gaps
Type Safety	Implicit coercions, any-typed boundaries
Concurrency	Race conditions, shared mutable state
Resource Management	Unclosed handles, memory leaks
Security Injection	SQL/XSS/Command injection, path traversal
Boundary Conditions	Off-by-one errors, integer overflow
Algorithm Correctness	Wrong complexity, incorrect assumptions
State Management	Inconsistent state, missing rollbacks
API Contracts	Undocumented side effects, broken interfaces

Best Practices

Run @logic-lens on authentication and payment code before every release
Combine with @lint-and-validate for full coverage: style + logic
Review the CRITICAL and HIGH findings first; LOW findings can be deferred
Use @logic-lens on legacy code you are about to modify to understand risk surface

Benchmark Results

Logic Lens was tested against real-world codebases and caught issues missed by ESLint, TypeScript strict mode, and Snyk:

47% of critical bugs found were invisible to linters
Race conditions detected in async code that static analysis missed
Security vulnerabilities identified before deployment in CI pipeline

Related Skills

@lint-and-validate — Complementary: run after logic-lens for style/syntax
@security-auditor — Specialized security-only deep scan
@debugging-strategies — Use when logic-lens findings need tracing

Additional Resources

Limitations

Use this skill only when the task clearly matches the scope described above (code review and logic analysis). Logic Lens provides AI-powered analysis and should be combined with human review for production-critical decisions. Do not treat the output as a substitute for environment-specific testing or security audits.

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

yaml

targets:
  - https://api.opensmartroute.ai/api/v1/registry/sickn33-agentic-awesome-skills-logic-lens/manifest   # or paste the manifest below

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

sickn33-agentic-awesome-skills-logic-lens.ocm.jsonjson

{
  "ocm": "1",
  "id": "sickn33-agentic-awesome-skills-logic-lens",
  "kind": "skill",
  "name": "logic-lens",
  "description": "AI-powered Claude Code skill that performs deep code review using formal logic and reasoning frameworks to detect bugs, anti-patterns, and security risks beyond what linters catch.",
  "publisher": "sickn33",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "coding"
    ],
    "tags": [
      "skill-md",
      "code-review",
      "logic-analysis",
      "debugging",
      "security-review",
      "claude-code",
      "skills-sh"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "AI-powered Claude Code skill that performs deep code review using formal logic and reasoning frameworks to detect bugs, anti-patterns, and security risks beyond what linters catch."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "skills.sh",
      "repository": "https://github.com/sickn33/agentic-awesome-skills",
      "path": "skills/logic-lens/SKILL.md",
      "ref": "HEAD",
      "url": "https://github.com/sickn33/agentic-awesome-skills/blob/HEAD/skills/logic-lens/SKILL.md",
      "key": "sickn33/agentic-awesome-skills/skills/logic-lens/SKILL.md"
    },
    "license": "MIT"
  },
  "instructions": "# Logic Lens\n\n## Overview\n\nLogic Lens is a Claude Code skill that performs deep, logic-driven code review using formal reasoning frameworks. Unlike traditional linters that check syntax and style, Logic Lens analyzes your code for logical errors, race conditions, security vulnerabilities, type mismatches, and algorithmic flaws that only appear when you reason through the code's behavior.\n\nPowered by structured AI analysis, Logic Lens applies systematic logical inspection across 9 risk categories: null/undefined handling, type safety, concurrency, resource management, security injection, bounda",
  "cost": {
    "context_tokens": 1146
  }
}

Fetch it by URL: GET /api/v1/registry/sickn33-agentic-awesome-skills-logic-lens/manifest?version=1.0.0

Reviews

Star ratings from people who tried it. One review per account; edit yours any time.

No reviews yet. Install it, try it, and be the first to rate it.