midnight-verify:verify-by-ledger-source

Verify ledger claims by tracing them to Rust source files and paths.

37|9|Updated Feb 25, 2026

Search Tags:#verification #rust #evidence #ledger #crates #source-code

Ready to run

npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-by-ledger-source

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: midnight-verify:verify-by-ledger-source
Source: https://github.com/devrelaicom/midnight-expert/tree/main/plugins/midnight-verify/skills/verify-by-ledger-source
Command: npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-by-ledger-source

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Verification of ledger-related claims by inspecting the actual Rust source code to ensure accuracy.

Core Features & Use Cases

Trace claims to Rust crates and file paths within the 24-crate workspace.
Use octocode-mcp to locate relevant implementations and, when needed, clone repos for deep investigation.
Provide evidence-backed verdicts anchored in concrete Rust source definitions.

Quick Start

Ask it to verify a specific ledger claim by locating the relevant Rust source in the 24-crate workspace and citing the exact files.

Frequently Asked Questions about midnight-verify:verify-by-ledger-source

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

FAQPage Schema

How do I verify ledger claims by inspecting Rust source code?▼

To verify ledger claims in Rust source code, trace the claims to exact Rust files and paths within a 24-crate workspace, using source definitions and tests as corroboration.

Can I trace ledger claims to specific Rust crates and file paths?▼

Yes, tracing ledger claims to specific Rust crates and file paths is possible across the 24-crate workspace, locating relevant implementations and citing exact source files.

Does the Rust source verification process clone repositories locally to follow dependencies?▼

Yes, the Rust source verification process may clone repositories locally to follow dependencies, using octocode-mcp to locate relevant implementations for deep investigation.

What is the best way to ensure ledger claims are backed by concrete Rust source definitions?▼

The best way to ensure ledger claims are backed by concrete Rust source definitions is to require corroboration from source definitions and tests, providing evidence-backed verdicts anchored in exact files.

How does crate-level verification work across a Rust workspace?▼

Crate-level verification across a Rust workspace works by tracing ledger claims through the 24-crate structure, locating relevant implementations, and cloning repos when needed to follow dependencies.

Are Rust tests required as corroboration for ledger claim verification?▼

Yes, Rust tests are required as corroboration for ledger claim verification, ensuring that evidence-backed verdicts are anchored in both source definitions and tests within the workspace.