skills.rest
devrelaicom
devrelaicomOFFICIAL
Explore all skills by this author →
GitHub

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
One-click install
npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-by-ledger-source
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
praveenpererapraveenperera
4

rust-crate-source

Clone Rust crate repositories from crates.io and check out version tags.

Community
Intermediate
tomwangowatomwangowa
1

research-cross-validator

Cross-validate technical claims using documentation, source code, and community sources.

Community
Advanced
simorgh3196simorgh3196
1

rust-code-navigator

Navigate Rust codebases using LSP-based symbol resolution.

Community
Advanced
RediSearchRediSearch
6.2k

write-rust-tests

Automate Rust unit and integration tests with cargo test.

Official
Intermediate