skills.rest
buchananwill
buchananwillCOMMUNITY
Explore all skills by this author →
GitHub

general-correctness

Assess codebases for specification fidelity and boundary condition handling.

2|Updated Mar 17, 2026
Search Tags:#testing#review#spec#edge-cases#code#correctness
One-click install
npx skills add https://github.com/buchananwill/ue-claude-scaffold --skill general-correctness
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: general-correctness
Source: https://github.com/buchananwill/ue-claude-scaffold/tree/main/skills/general-correctness
Command: npx skills add https://github.com/buchananwill/ue-claude-scaffold --skill general-correctness

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Universal correctness concerns applicable to any codebase. These are truths about software, not about any specific language or framework.

Core Features & Use Cases

  • Specification adherence and fidelity checks to ensure implementations satisfy the exact API and behavioral contracts.
  • Boundary condition validation and edge-case analysis to catch nulls, empties, and max values across inputs.
  • Structured review discipline guiding code reviews, testing strategies, and gap identification for quality assurance.

Quick Start

Review a module against the provided correctness criteria to identify spec deviations and missing tests.

Frequently Asked Questions about general-correctness

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

FAQPage Schema
How do I check if my implementation satisfies the exact API and behavioral contracts?▼

Specification adherence checks compare your implementation against literal contracts to identify spec deviations. You can review a module against defined correctness criteria to ensure the code satisfies exact API and behavioral contracts.

What is the best way to catch edge cases and boundary conditions across codebases?▼

Boundary condition validation analyzes inputs for nulls, empties, and max values to catch edge cases. It defines checks for boundary conditions across languages and frameworks to identify missing test coverage and gap areas.

How do I perform a structured code review for specification fidelity?▼

Structured review discipline guides code reviews by applying universal correctness criteria. You review a module against specification fidelity checks, boundary condition validation, and edge-case handling to identify deviations and missing tests.

Can I use universal correctness checks for any programming language and framework?▼

Yes, universal correctness assessment applies to any codebase across languages and frameworks. These checks target universal truths about software correctness rather than specific language or framework rules, ensuring broad applicability.

When do I need specification conformance checks during development?▼

You need specification conformance checks during code reviews and test-coverage gap analysis. They ensure implementations satisfy exact behavioral contracts and help identify missing tests for boundary conditions and edge-case handling.

Does test-coverage gap analysis work with existing testing strategies?▼

Test-coverage gap analysis integrates with existing testing strategies by applying structured review discipline. It identifies missing tests for edge cases and boundary conditions according to literal contracts, complementing your current quality assurance workflow.

Related Skills

Explore More Software Engineering Skills→
Busboom-FooBusboom-Foo

architecture-review

Evaluate sprint architecture updates for consistency with the baseline system.

Official
Intermediate
aaronbassettaaronbassett

compact-reviewer:testing-review

Analyze Compact contract test suites to identify coverage gaps and testing deficiencies.

Community
Advanced
ahiendzahiendz
3

lint-and-validate

Lint and statically analyze Node.js/TypeScript and Python codebases.

Community
Intermediate
SteelMorganSteelMorgan
87

test-writing

Generate YaxUnit unit tests for 1C BSL code modules.

Community
Intermediate