LOCAL-FIRST · VERIFIED · 0.6B PARAMETERS

Every formula, proven before you see it.

A fine-tuned 0.6B model proposes Excel formulas; a deterministic evaluator executes and verifies each one on your machine. Spreadsheets never leave it.

Try it below ↓

median latency: 747ms
supported functions: 12
execution-checked: 100%

Drop an .xlsx workbookUp to 2 MB · macros and external links rejected

CONTEXT PREVIEW

Your sheet appears here — nothing is uploaded to a server.

HOW IT PROVES IT

Propose

The 0.6B model drafts one formula from your instruction and the visible sheet context.

e.g. =SUMIF(B2:B40, D2, C2:C40)

Verify

A parser, reference checker, and deterministic evaluator execute it against your sheet.

checks: syntax · cell references · execution

Abstain

When it can't prove the formula is correct, it says so instead of guessing.

reasons: unknown range · unsupported function · timeout

ENGINEERING EVIDENCE

The numbers above are a pipeline smoke test against a tiny in-repo seed set — not a benchmark claim. They prove the evaluation harness runs correctly end to end, not that the model is state of the art.