every model spec’d & versioned · Concordance-tested changelog →

For developers & AI assistants

Financial models that show their work

Every model here tells you what it takes in, what it computes, what it assumes, and what it leaves out — before you run it. A second, independent implementation has to reproduce the engine exactly before anything ships, every IRS and SSA constant is traced to its source, and when a model changes, the changelog tells you.

Watch the film — Two Implementations or It Doesn’t Ship, 3½ minutes

Two Implementations or It Doesn't Ship · 3:36How every model is verified: a second build from the spec alone, 250 cases per release, a one-part-in-a-billion diff, and a CI gate that blocks on a single disagreement.

Use the models

MCP server (AI assistants): https://worthune.com/api/mcp/mcp — your agent lists the catalog, reads the contract, runs the model, and can check a claim before stating it; the household tools create, project, decide, and verify a stored household end to end. Twenty tools, six keyless, in the official MCP registry as com.worthune/models. The three sample models answer without a key; a paid key, sent once as a bearer header, opens the rest.

REST API: GET /api/v1/models lists the catalog; every model serves its contract, its full spec, and a POST endpoint that validates before it computes — out-of-range requests get an error, not a quietly adjusted answer. Responses carry their spec version, assumptions, and sourced constants.

Aggregate usage is public at /api/v1/telemetry — counters only, never personal data.

The catalog, by the decision it answers

61 models in 9 families, each written to a versioned spec and re-checked against a second independent implementation on every change. Spec links are public for the three sample models — emergency-fund, relocation, and side-business — and open with a key for the rest; every model’s input contract is public either way.

Housing & mortgages

rent vs. buy, refinance break-even, down payment, points, PMI, ARM vs. fixed
ModelSpecTry itContract
rent-vs-buyv1.1.0calculatorJSON
refinancev1.0.0calculatorJSON
down-paymentv1.0.0calculatorJSON
second-homev1.1.0calculatorJSON
points-break-evenv1.0.0JSON
pmi-removalv1.0.0JSON
arm-vs-fixedv1.0.0JSON
biweekly-mortgagev1.0.0JSON
extra-paymentv1.0.0JSON

Retirement & withdrawal

FIRE, Roth vs. traditional, conversion ladders, RMDs, Social Security timing
ModelSpecTry itContract
firev1.0.1calculatorJSON
roth-vs-traditionalv1.0.1calculatorJSON
roth-conversion-ladderv1.0.0JSON
backdoor-rothv1.0.0JSON
mega-backdoor-rothv1.0.0calculatorJSON
employer-matchv1.0.0JSON
rmdv1.0.0JSON
ssa-piav1.0.0JSON
social-security-timingv1.1.0calculatorJSON

Equity comp & taxes

newAMT on ISO exercise, QSBS, 83(b), wash sales, RSUs, ESPP, capital gains, income cliffs, state income tax
ModelSpecTry itContract
iso-exercisev1.0.0JSON
qsbs-exclusionv1.0.0JSON
83b-electionv1.0.0JSON
wash-salev1.0.0JSON
retirement-income-cliffsv1.0.0JSON
rsuv1.1.0calculatorJSON
esppv1.0.0JSON
capital-gainsv1.0.0JSON
quarterly-estimatesv1.0.0JSON
state-income-taxv1.1.0JSON

Longevity, insurance & care

newlongevity horizon, annuity payout, life-insurance need, long-term care, estates
ModelSpecTry itContract
longevity-horizonv1.0.0JSON
annuity-payoutv1.0.0JSON
life-insurance-needsv1.0.0JSON
long-term-carev1.1.0calculatorJSON
eldercarev1.1.0calculatorJSON

Estate & legacy

newestate-tax exposure, step-up vs. gift-now basis, the inherited-IRA 10-year rule, QCDs, 529 superfunding
ModelSpecTry itContract
estate-planningv1.1.0calculatorJSON
step-up-vs-gift-nowv1.0.0JSON
inherited-ira-10-yearv1.0.0JSON
qcdv1.0.0JSON
plan529-superfundingv1.0.0JSON

Debt & loans

payoff strategies, student loans, auto loans, loan comparison, card minimums
ModelSpecTry itContract
debt-payoffv1.1.0calculatorJSON
student-loan-payoffv1.0.0calculatorJSON
auto-loanv1.0.0JSON
loan-comparisonv1.0.0JSON
credit-card-minimumv1.0.0JSON

Life decisions & household

relocation, a child, a wedding, a sabbatical, one income, divorce, windfalls

Education

529 savings, private school
ModelSpecTry itContract
529-college-savingsv1.0.0calculatorJSON
private-schoolv1.2.0calculatorJSON

Startup & business finance

runway, SAFE dilution, option pools, SBA loan cost, lease vs. buy, side business
ModelSpecTry itContract
burn-rate-runwayv1.0.0JSON
safe-dilutionv1.0.0JSON
option-poolv1.0.0JSON
sba-loan-costv1.0.0JSON
equipment-lease-vs-buyv1.0.0JSON
side-businessfreev1.0.1calculatorJSON

Model changes are never silent — the full version history is at /models/changelog. Before any change ships, an independent implementation written from the spec alone has to agree with the engine’s results, across 250 open test cases per model checked against textbook values — how Concordance testing works. Models are illustrative planning tools, not financial advice.