Can this skill run my actual test suite?

Yes. With the --verify-evidence and --run-tests flags enabled, Manifold can execute specified tests and check exit codes to verify that 'required truths' are technically validated.

What are 'Gap Actions' in Manifold?

Gap Actions are automatically generated, copy-pasteable code snippets or commands that help developers quickly resolve missing test coverage, documentation, or implementation logic identified during verification.

What is the Manifold Verification Matrix?

The Verification Matrix is a comprehensive grid produced by the skill that tracks whether every project constraint is satisfied across four dimensions: Code, Test, Documentation, and Operations.

How does the --strict flag work in m5-verify?

When the --strict flag is used, verification will fail if any constraint is only partially implemented or missing. It requires 100% 'SATISFIED' status across all applicable artifacts to pass.

Manifold Constraint Verification

Name: Manifold Constraint Verification
Author: dhanesh

bydhanesh

•

Security & Testing

Verifies project artifacts against business and technical constraints to ensure full implementation and test coverage before production.

Manifold Constraint Verification is a specialized capability for Claude Code designed to close the gap between planning and implementation. It automates the validation of code, tests, documentation, and operations against pre-defined project constraints (Invariants, Boundaries, and Goals). By generating a detailed verification matrix, the skill highlights implementation gaps and provides actionable, copy-paste steps to reach a 'converged' state. This ensures that technical and business requirements are not just 'done,' but verified across the entire software lifecycle, preventing production issues caused by overlooked constraints.

Key Features

01Multi-artifact verification matrix covering Code, Test, Docs, and Ops

02Automated gap identification with executable recovery actions

033 GitHub stars

04Evidence auto-verification via file checks and content matching

05Programmatic JSON tracking for CI/CD and progress monitoring

06Strict mode enforcement for mission-critical requirement satisfaction

Use Cases

01Automating audit trails for compliance-heavy software requirements

02Ensuring 100% test coverage for critical business invariants before deployment

03Validating that documentation and operational monitors match the final implementation

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add dhanesh/manifold manifold-m5-verify

For use in Claude.ai and ChatGPT

Download Skill