agentmods.dev

hyhmrright/logic-lens

Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.

Open on GitHub
21Stars on the repository
27Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 3 mods

logic-lens AGENTS.md

01

hyhmrright/logic-lens

Instructions file CodexOpenCode

Instructions for hyhmrright/logic-lens, covering logic-lens — developer guide (codex cli), invoking skills, project layout, key conventions and no hooks.

21 4d ago A 304 tokens original MIT

logic-lens CLAUDE.md

02

hyhmrright/logic-lens

Instructions file

Instructions for hyhmrright/logic-lens, covering logic-lens — developer guide (claude code), project layout, conventions, skill.md structure and guide files.

21 4d ago A 2,842 tokens original MIT

logic-lens GEMINI.md

03

hyhmrright/logic-lens

Instructions file Gemini CLI

Instructions for hyhmrright/logic-lens, covering logic-lens — developer guide (gemini cli), invoking skills, installation, project layout and key conventions.

21 4d ago A 285 tokens original MIT