ModelxcelPro is the Excel add-in built for power financial modelers. Bind sources, sign formulas, and prove every number with evidence that travels with the workbook and can be packaged for audit handoff.
One install · every capability · no per-feature upsell
Why this matters
Spreadsheet risk is not theoretical.
Field audits aggregated by Raymond Panko (University of Hawai'i) found errors in 88–94% of spreadsheets audited — and a Tuck School of Business audit of 50 operational spreadsheets found individual error impacts up to $100 million.
Six capabilities. One install.
What ModelxcelPro does
Every capability ships in every plan. Tiers differ on seats, admin tools, and support — never on features.
Three primitives, one promise. When the number changes, you know why — and you can prove it.
01
Bind
Pin every input to its source — URL, file, or prior workbook. SHA-256 hash. Drift detected the moment the source changes.
02
Sign
Attest individual cells or contiguous formula blocks. Every record chains to the prior one — append-only, tamper-evident, anchored in workbook custom XML.
03
Prove
Replay material drivers live through Excel, export Certificate JSON with a signed sibling envelope, or export the Evidence Pack — certificate, sealed ledger, and offline Node verifiers together.
Underlying engine: the Causality ledger. Every write is SHA-256(prior_hash || record). JSON certificate exports get the signed envelope; PDF and branded Excel certificates stay self-hashed, envelope failures warn instead of blocking export, seals cover records up to sealing time, and identity binding, timestamping, and revocation remain future work.
SMART FORMAT · THE WEBINAR MOMENT
Manual formatting →model standards.
Just type. We handle the rest. Format Selection for precision, Format Sheet for scale, and AutoFormat for eligible numeric and formula edits. This is how Excel should work.
ManualBeforeCell by cell, by hand.
SelectionFormat SelectionThe range you picked.
Used rangeFormat SheetThe whole worksheet.
PassiveAutoFormatEligible edits, quietly styled.
Same Smart Formatting engine, three ways to invoke it: the selected range, the worksheet used range, or a debounced AutoFormat pass after eligible edits.
Three of the dozens of capabilities you get on day one.
WORKSHEET MAP
See the whole model on one screen — and drill into it.
An in-pane structural TreeView (sheets → ranges → formulas) alongside the heatmap. One-click TrustLens peek on any formula opens the full inspector. Built for 30-tab PF and IB models you didn’t write yourself.
In-workbook TreeView — navigate the whole model as a tree
Heatmap with three view modes: Risk · Structure · Audit
TrustLens peek button drills any formula into the inspector
A formula inspector wired to a cryptographic ledger.
Every node shows live proof state, per-node intermediate result, and whichIF() branch actually fires today. A four-tab side panel breaks the formula down in plain English — "Condition X is FALSE, taking value_if_false branch" — alongside the active path, attestation state, and resolved reference values.
Plain-English Explain tab — formula behavior described in words, not just diagrams
PATH / OFF badges show which branches execute under current inputs
Live Dependents enumerates downstream cells (cross-sheet count, click to navigate)
Drift badge flags signed formulas changed since last attestation
Auto-detects your model’s outputs across the standard PF/IB metric vocabulary (IRR, NPV, DSCR, LLCR, PLCR, MOIC, Payback) — or any cell you specify — then decomposes the delta into ranked drivers. Per-driver Confidence blended from evidence, path length, and residual; an exact Residual on the unattributed remainder. For each driver: the cell-by-cell path from input change through every formula it touched. Seven one-click routes from the result, plus an automatic write to the Proof ledger when a comparison touches a signed block.
Auto-detected outputs — no list to maintain
Sensitivity-backed contributions: ±1% perturbation of the live workbook, not pattern matching
Cell-by-cell dependency path from driver → output
Seven one-click drill-ins · auto-writes to the Proof ledger when comparison touches a signed block
Evaluate ModelxcelPro against the add-in stack around Excel.
See how ModelxcelPro coverage maps against the categories teams usually combine: formatting add-ins, formula review tools, dependency tracing tools, workbook comparison tools, mapping and risk visualization tools, and audit handoff tools.
Most spreadsheet models supporting nine-figure decisions can’t be re-justified six months later. ModelxcelPro fixes that with workbook-native cryptographic evidence instead of conventions.
Pricing
One product. Every capability.
Pricing will be announced before paid checkout opens. Choose by seats, procurement, and support — not by add-in features.