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
5d 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 6 mods

logic-diff

01

hyhmrright/logic-lens

Command

Part of logic-lens

Check two code versions for semantic equivalence — use after a refactor or rewrite.

not rated 21 5d ago A 16 tokens original MIT

logic-fix-all

03

hyhmrright/logic-lens

Command

Part of logic-lens

Autonomous audit-and-fix — after consent, scan the target, fix every logic issue found (all severities), verify each fix, and report anything unresolved.

not rated 21 5d ago A 33 tokens original MIT

logic-health

04

hyhmrright/logic-lens

Command

Part of logic-lens

Sweep a whole codebase or directory for logic correctness — use before a release or to identify risk hotspots.

not rated 21 5d ago A 20 tokens original MIT

logic-locate

05

hyhmrright/logic-lens

Command

Part of logic-lens

Locate the root cause of a confirmed failure — use when you have a stack trace, failing test, or wrong output.

not rated 21 5d ago A 23 tokens original MIT

logic-review

06

hyhmrright/logic-lens

Command

Part of logic-lens

Review code for logic bugs — use when you suspect something is wrong but have no failing test yet.

not rated 21 5d ago A 19 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: