Verified Calculations for Quarto

Write physics and maths lessons in Quarto. Let a reference calculation service compute and check results during the build.

Get started See examples Browse formula library

Checking service...

Version: -

Stop trusting "hand maths" from LLMs.

LLMs are excellent at explanation and structure, but numeric and algebraic work must be hard-checked. Verified Calculations separates writing from checking:

You write: formulas, variables, and requests in Quarto markdown
The service computes: results, formatting, units, and optional steps
Your build stays reproducible: the same inputs always produce the same outputs

What this is

Verified Calculations is a Quarto-first toolchain that makes scientific material easier to author and safer to publish.

It provides:

A Quarto extension (shortcodes + pre-render step)
A formula library (canonical definitions and metadata)
A reference evaluator that validates and computes results in batch
Optional assurance levels, from tested evaluation through to formally proved identities (where needed)

Why it exists

Science and teaching are moving toward AI-assisted writing. That increases throughput, but it also increases the risk of silent mathematical mistakes.

Verified Calculations exists to keep the maths out of the language model and inside a system that can be checked, tested, and (selectively) proved.

How it works

Authoring contract (Quarto)

1. Define

Use eq to render a canonical formula (LaTeX)

2. Request

Use .calc-request blocks to specify inputs you want evaluated

3. Insert

Use calc to insert verified results into the page

Build pipeline

On quarto render, the pre-render step:

Finds all calculation requests
Sends them to the evaluator in one batch
Writes site_data/calcs.json
Quarto renders your pages with verified values

Who it's for

Teachers writing HSC/IB/AP material who want consistent, verified numbers
University students creating lab reports and study notes in Quarto
Authors building open textbooks and problem sets
AI-assisted workflows where explanations come from LLMs but maths is checked externally

Quick start (30 seconds)

Add the extension to your Quarto project
Set the evaluator base URL in _quarto.yml
Write one calc-request and render

Follow the guide

Design principles

Reproducible: results are generated during build, not typed by hand

Traceable: every computed value is linked to a request id and formula id

Fast: batch evaluation, caching, and deterministic outputs

Extensible: physics, HSC maths, and beyond

AI-compatible: assistants can generate requests, but the evaluator checks them