midnight-verify:verify-by-type-check
OfficialConfirm SDK type claims with tsc
Software Engineering#typescript#type-checking#tsc#ledger#sdk-verification#type-assertions#midnight-ntwrk
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill verifies TypeScript type-level claims about Midnight SDK exports and user .ts files by compiling targeted assertion files or running lightweight execution scripts, removing ambiguity about exported types and assignability without needing full runtime tests.
Core Features & Use Cases
- Type-claim verification: Generates type-assertion files that compile only when a claim (e.g., return type, exported type, assignability) is true.
- File-level checking and stubbing: Copies user .ts files into an isolated job workspace, stubs missing compiled outputs if necessary, and reports precise compiler errors.
- Ledger behavioral execution mode: For certain ledger-v8 behavioral claims, runs small Node scripts to observe runtime outputs and reports them as execution evidence.
- Use Case: Validate that deployContract returns DeployedContract, ensure a user's DApp TypeScript file type-checks with Midnight SDK, or confirm a ledger function's observed output.
Quick Start
Run a TypeScript compilation of generated assertion files against the Midnight SDK workspace to confirm the claim.
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-by-type-check Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#midnight-verify-verify-by-type-check 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.