fact-check

Audit code for logic errors, silent failures, and unjustified fallbacks.

Updated Apr 26, 2026
One-click install
npx skills add https://github.com/juspay/ci --skill fact-check-juspay
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: fact-check
Source: https://github.com/juspay/ci/tree/main/.claude/skills/fact-check
Command: npx skills add https://github.com/juspay/ci --skill fact-check-juspay

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Audit code for correctness and rigor to surface logic errors and unjustified fallbacks. This is not a style review; it's a logic review (carefully checking for silent failure, incorrect assumptions, and fragile error handling).

Core Features & Use Cases

  • Detect silent error swallowing and unpropagated failures
  • Identify weak/default fallbacks and wishful thinking
  • Provide actionable fixes and rationale during code reviews across languages

Quick Start

Run a focused correctness audit on the current code changes to surface critical logic issues.

Frequently Asked Questions about fact-check

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I catch silent error swallowing and faulty fallbacks in code review?

A focused correctness audit detects silent error swallowing and faulty fallbacks by rigorously analyzing logic flow. It surfaces unpropagated failures and unjustified default values across languages to provide actionable fixes during CI checks.

What is the difference between a logic review and a style review?

A logic review targets code correctness and rigor rather than style. It carefully checks for silent failure, incorrect assumptions, fragile error handling, and wishful thinking to surface logic errors and unjustified fallbacks.

How do I run a focused correctness audit on current code changes?

Run a focused correctness audit on current code changes to surface critical logic issues. This pass detects silent failure, weak default fallbacks, and common logic mistakes across languages to provide actionable rationale and fixes.

Does static analysis for logic errors work across different programming languages?

Static analysis for logic errors is applicable across languages for code review, pull requests, and CI checks. It enforces detection of silent error swallowing, faulty fallbacks, and common logic mistakes outlined in the guidelines.

Why does wishful thinking cause silent failures in my codebase?

Wishful thinking causes silent failures by introducing incorrect assumptions and weak default fallbacks. A correctness audit surfaces these logic errors and unjustified fallbacks to prevent unpropagated failures during execution.