intent-check

Verify code diffs against documented invariants to prevent regressions.

5|Updated Mar 4, 2026

Search Tags:#code review #verification #automated testing #formal methods #invariants

Ready to run

npx skills add https://github.com/nicholls-inc/claude-code-marketplace --skill intent-check-nicholls-inc

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: intent-check
Source: https://github.com/nicholls-inc/claude-code-marketplace/tree/main/crosscheck/skills/intent-check
Command: npx skills add https://github.com/nicholls-inc/claude-code-marketplace --skill intent-check-nicholls-inc

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill automates the validation of software invariants by cross-verifying code changes against explicit invariant descriptions, ensuring consistency and correctness.

Core Features & Use Cases

Invariant Verification: Checks whether code diffs uphold specific invariants defined in documentation.
Risk Reduction: Detects unintended deviations that could introduce bugs or violate specifications.
Use Case: Developers modify a data structure; this Skill confirms the change respects the original invariants to prevent regressions.

Quick Start

Use the intent-check skill to validate whether recent code changes preserve the invariants specified in docs/invariants/queue.md.

Frequently Asked Questions about intent-check

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

FAQPage Schema

How do I verify code changes against formal invariants to prevent regressions?▼

You can verify code changes against formal invariants by performing automated round-trip checks that cross-reference code diffs with explicit invariant documentation to ensure correctness and consistency.

What is round-trip verification of software invariants?▼

Round-trip verification is an automated process that validates software invariants by checking whether recent code diffs uphold the specific rules defined in formal documentation, detecting unintended deviations that introduce bugs.

How do I check if a data structure modification respects original invariants?▼

To check if a data structure modification respects original invariants, provide the invariant documentation, relevant tests, and code diffs to an automated verification process that cross-checks the changes against the specifications.

Can I use automated testing to validate formal methods in a complex codebase?▼

Yes, automated testing can validate formal methods in a complex codebase by cross-verifying code changes against explicit invariant descriptions, which is suitable for software engineers maintaining critical specifications.

What do I need to provide for invariant verification of code diffs?▼

You need to provide the invariant documentation, relevant tests, and code diffs to perform comprehensive round-trip checking of code changes against formal specifications.