midnight-verify:verify-witness
OfficialRoute witness claims to the right verifier.
Software Engineering#routing#verify#contract-verification#witness#claim-classification#witness-verifier#two-file-verification
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Classifies witness-related claims and determines the correct verifier to dispatch to, ensuring accurate and efficient validation of contract-witness interactions.
Core Features & Use Cases
- Claim classification: Distinguishes witness-type correctness, name matching, return type, and type mappings.
- Dispatch routing: Routes claims to the appropriate verifier (witness-verifier, type-checker, or contract-writer) based on the claim.
- Cross-domain coordination: Integrates with related skills for end-to-end verification including two-file verification workflows.
Quick Start
Route a sample witness claim to the appropriate verifier to trigger the routing logic.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: midnight-verify:verify-witness Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#midnight-verify-verify-witness Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.