midnight-verify:verify-by-source

What problem does it solve?

This approach verifies claims about Compact or Midnight by reading the actual source code rather than relying on compilations or docs, enabling evidence-based validation of architectural or implementation claims.

Core Features & Use Cases

• Source-code driven verification: Inspect compiler, ledger, node, and SDK sources to confirm or refute claims about language features, protocols, or implementations.
• Cross-repo routing: Identify the primary repository that best fits the claim (e.g., compiler for language semantics, ledger for transaction structure, node for on-chain execution) and pull relevant evidence.
• Evidence synthesis: Compile code excerpts, tests, and primary docs into a concise conclusion with references.
• Use Case: Validate a claim such as "the Compact compiler source exports 57 primitives" by locating and quoting the exact source definitions.

Quick Start

Prompt the AI to locate primary sources and compare the claim against repository code across the ecosystem.