skills.rest
GrazianoGuiducci
GrazianoGuiducciCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

assertion-verifier

Define and execute testable assertions against project implementation claims.

1|Updated Feb 26, 2026
Search Tags:#testing#implementation#verification#reporting#assertions#claims
One-click install
npx skills add https://github.com/GrazianoGuiducci/d-nd-seed --skill assertion-verifier
Or copy as Structured Prompt for Agent▼
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

Register my assertions and then verify them.

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.

Related Skills

Explore More Software Engineering Skills→
Ouro-labsOuro-labs
14

verification-before-completion

Runs pre-commit verification commands to validate task outputs before claims.

Official
Basic
fattits30-devfattits30-dev
1

gdpr-compliance

Validate GDPR compliance for data erasure, portability, and audit logs.

Community
Intermediate
andy4917andy4917

verification-loop

Execute automated verification cycles to identify and repair failing system checks.

Community
Intermediate
VIethoangnguyenleVIethoangnguyenle

golang-stretchr-testify

Provides assertions, mocking interfaces, and test suites for Golang testing workflows.

Community
Intermediate