assertion-verifier

Define and execute testable assertions against project implementation claims.

1|Updated Feb 26, 2026

Search Tags:#testing #implementation #verification #reporting #assertions #claims

Ready to run

npx skills add https://github.com/GrazianoGuiducci/d-nd-seed --skill assertion-verifier

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: assertion-verifier
Source: https://github.com/GrazianoGuiducci/d-nd-seed/tree/main/plugins/d-nd-core/skills/assertion-verifier
Command: npx skills add https://github.com/GrazianoGuiducci/d-nd-seed --skill assertion-verifier

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill bridges the gap between your project's intended behavior and its actual implementation by defining and running verifiable claims.

Core Features & Use Cases

Define Testable Claims: Register assertions with unique IDs, clear claims, and executable test functions.
Automated Verification: Run all registered assertions to get a PASS/FAIL/SKIP report.
Integrate with Seed Cycle: Automatically feed assertion results into the seed_cycle.py for context crystallization.
Use Case: Ensure your authentication module consistently returns 200 for valid credentials and that your database migrations are up-to-date.

Quick Start

Frequently Asked Questions about assertion-verifier

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

FAQPage Schema

How do I verify project implementation claims against actual behavior?▼

You verify implementation claims by registering assertions with unique IDs and executable test functions, then running automated verification to generate a clear PASS, FAIL, or SKIP report for each claim.

What is assertion-based verification for software engineering?▼

Assertion-based verification defines testable claims about intended project behavior and executes them to track whether the actual implementation results in a pass, fail, or skip status.

How do I track failing or skipped tests to identify system edges?▼

You identify system edges by running automated verification across all registered assertions; the resulting FAIL and SKIP statuses highlight precisely where your implementation diverges from stated claims or lacks coverage.

Can I integrate assertion verification results into automated cycles?▼

Yes, assertion verification results integrate into automated cycles by feeding PASS, FAIL, and SKIP outcomes directly into seed_cycle.py for context crystallization and continuous tracking.

What's the best way to verify database migrations are up-to-date?▼

Register a testable assertion claiming migrations are current, then execute its associated test function during the automated verification cycle to confirm a PASS or FAIL result.