midnight-verify:verify-sdk

Classify SDK/TypeScript claims and route them to verification methods.

37|9|Updated Feb 25, 2026
One-click install
npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-sdk
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: midnight-verify:verify-sdk
Source: https://github.com/devrelaicom/midnight-expert/tree/main/plugins/midnight-verify/skills/verify-sdk
Command: npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-sdk

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Classification and routing of SDK-related claims to the appropriate verification methods to validate API consistency and how user code uses the SDK.

Core Features & Use Cases

  • API existence, function signatures, and interface checks are routed to the type-checker.
  • User-code verification flows (integration, runtime checks, and usage patterns) are dispatched to the sdk-tester and related agents.
  • Supports both SDK API claims and user code claims, enabling end-to-end verification workflows across devnet and CI environments.

Quick Start

Provide an SDK claim to be classified and routed to the appropriate verification method.

Frequently Asked Questions about midnight-verify:verify-sdk

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

FAQPage Schema
How do I verify TypeScript SDK claims automatically?

TypeScript SDK claims are classified by type and routed to the correct verification method, dispatching API existence and interface checks to the type-checker and user-code checks to dedicated agents for validation.

What is the best way to route SDK API claims to type-checking?

SDK API claims are routed to type-checking by classifying function signatures and interface checks, applying dispatch rules that send API existence claims directly to the type-checker for validation.

Can I run multiple SDK verification checks in parallel?

Multiple SDK verification checks execute in parallel when applicable, dispatching concurrent routing rules across type-checking, devnet E2E testing, source inspection, and package checks for comprehensive validation.

Does this support verifying user code that integrates with the SDK?

It supports verifying user code integrating with the SDK by dispatching integration checks, runtime flows, and usage patterns to the sdk-tester and related agents across devnet and CI environments for end-to-end validation.

When do I need to dispatch claims to source inspection versus package checks?

Dispatch claims to source inspection for verifying implementation details within the codebase, and route package checks for validating distributed artifacts, using classification rules to determine the correct verification target.

What types of SDK claims cannot be classified and routed by this Skill?

The Skill classifies claims specifically related to the SDK API and user code using the SDK, so claims outside this scope, such as unrelated library behavior or non-TypeScript environments, are not covered by its dispatch rules.