skills.rest
nicholls-inc
nicholls-incOFFICIAL
Explore all skills by this author →
WebsiteGitHub

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
One-click install
npx skills add https://github.com/nicholls-inc/claude-code-marketplace --skill intent-check-nicholls-inc
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
mwguerramwguerra
35

filament-docs

Extract exact code patterns from Filament v4 documentation.

Community
Basic
protofireprotofire
3

protofire-qa-agent

Audit smart contracts with Slither, Echidna, and Foundry fuzz testing.

Official
Advanced
VoDaiLoczVoDaiLocz
24

lint-and-validate

Automate linting and static analysis of code in CI pipelines.

Community
Intermediate
evstackevstack
4

evolve-proptest

Generate property-based tests for the Evolve SDK with proptest.

Official
Advanced