How It Works Proof

Book a Free Workshop

Developers

Open source tools for verifying, explaining, and locking financial data. No AI. No inference. Pure deterministic arithmetic.

Tools & Resources

rvl

Reveal the smallest set of numeric changes that explain what actually changed between two CSV files. Ranked explanations, tolerance-aware, three clear outcomes: REAL CHANGE, NO REAL CHANGE, or REFUSAL.View on GitHub→

shape

Structural comparability gate. Know whether two CSV datasets can be compared before you waste time trying. Checks schema overlap, key viability, row granularity, and type consistency.View on GitHub→

lock

Dataset lockfiles — like Cargo.lock for data. Pin artifacts, fingerprints, and tool versions into a self-hashed, tamper-evident, reproducible snapshot. Includes lock verify for integrity checks.View on GitHub→

pack

Evidence sealing — bundle lockfiles, reports, and tool outputs into one immutable, content-addressed evidence pack. Self-hashed manifest with pack verify for integrity checks.View on GitHub→

EDGAR Change Interpreter

A Claude skill for identifying material changes, silent risks, and interpretation traps in SEC filings (10-K, 10-Q, 8-K).View on GitHub→

PBIX Lineage Extractor

Extract your Power BI model structure, DAX expressions, and M code into an LLM-ready prompt. Paste it into Claude or ChatGPT for documentation, optimization, or troubleshooting.Try it now→

EDGAR MCP Server

Model Context Protocol server for EDGAR filings. Query SEC data directly from Claude, Codex, or any MCP-compatible client.Request access→

Machine-Readable Data

Access structured finance facts, outcome definitions, and glossary terms in JSON format. AI-crawler friendly, citation-ready.

View machine data→

Built in the open

We believe financial data should be more accessible. Follow our work on GitHub.CMD+RVL on GitHub