Finance

us-tax-model

Form 1040 as cited YAML, with an integer evaluator and Lean 4 proofs

Every computed line traces back to an archived IRS page, which is the property anyone building tax or compliance software on generated code will want to copy.

Hardcount

Meter tokens per model, sell prepaid credit and invoice from your own Postgres

If you charge per token and want the ledger in your own database, this handles pricing, credit drawdown and invoices while Stripe only charges the card.

Kairos

Real-time fraud decisions for sign-ups, payments and payouts, self-hosted

An Apache-2.0 alternative to Sift and Sardine that returns approve, step-up, review or block with reasons, and lets coding agents build the workflows.

Itinero

One trip, one app: the plan, the bookings, the money and the packing

Trip details usually scatter across an inbox, a notes app and a spreadsheet, and this gathers them into one offline place you can hand to the people travelling with you by link.

StockChat

An iPhone group chat where every $ticker opens a live price and research page

It puts the research inside the conversation where friends already argue about stocks, so nobody has to paste screenshots from five apps.

Worth It Calcs

Spend-or-keep calculators for solar, EVs, rent, refinancing and NRI money moves

Indians living abroad get rare, specific help here: whether to keep property at home, when RNOR status applies, and how FIRE works across two countries.

Maali

A desktop budgeting app that keeps your bank data and its AI on your machine

For anyone who left Mint but will not hand bank logins to another cloud, it is a one-time purchase that keeps every transaction on your own disk.

SV Premium

Price 237 infrastructure and AI services at your own usage, with sources dated

Before renewing Datadog or NS1, a founder can see in a minute what the same load would cost on the cheaper vendor, with the pricing page it came from.

Stoke Money

See your balance day by day ahead, with card bills landing when they are due

If your checking account keeps surprising you because card payments land a month late, this shows the dip before it happens instead of after.

Pulse Local

A free Mac budget app that answers spending questions with on-device models

It shows a sound pattern for any money app adding chat: a small model writes the query, plain code does the sums, and a second model says 'not sure' when they disagree.

Aurelio

A household balance sheet that lives in a file you can open yourself

Most money trackers want a bank connection and a monthly fee; this one keeps everything in a local SQLite file and treats the AI as optional.

CandleFeed

A Binance perps order-book archive that publishes what it missed

The gap log names the exact holes — ten simultaneous three-node breaks and 32,153 lost trade IDs since June — before you build a backtest on top of them.

Borehole

Reads a codebase's commits for the risks an acquirer would find, with citations

Founders preparing to sell can see what a buyer's engineers will flag months before diligence, free for any public repo.

Spliit Cloud

An expense-splitting fork of Spliit that keeps groups synced across every device

For anyone leaving Splitwise over its free-tier limits, it offers a free, MIT-licensed, hosted alternative that imports your old history.

Is AI Profitable Yet?

A sourced ledger of what each AI company has spent versus what it has earned

It puts cumulative AI spend, revenue and annual burn for OpenAI, Anthropic and the hyperscalers side by side, each figure linked to a source you can check.

SubCrisp

Keep your subscriptions honest by hand, without handing over a bank login

It is a reminder that some users will trade a minute of manual entry for never granting bank access, and that trade can be the whole product.

Monni

Shows what you can safely spend once bills and paydays are counted

For people who check their bank balance and still overspend, it answers the real question: how much of this money is already spoken for.

ChronoLedger

Import broker exports and see what your portfolio was worth on any past day

European investors with several brokers can see their real day-by-day history instead of just today's snapshot, starting from exports they already have.

AI·rete·RAG

Auditable rule-engine decisions, with an LLM that only writes the explanation

For anyone automating lending, fraud or triage calls, it keeps the verdict deterministic and replayable while still giving auditors a readable reason.

Trainer Software Guide

What 24 coaching apps actually cost once you enter your own client count

Coaching apps price by client bands and extras, so the cheap-looking plan is often not the cheapest at your size, and this does that sum for you in a few seconds.

Spendwise

One private dashboard for what you spend across Indian shopping and food apps

It pulls your order history from the apps you already buy through, so you see a month's real spending without typing in a single transaction.

Teams rendering invoices through Puppeteer can swap in a 28 MB sidecar that turns JSON into archival PDF/A in milliseconds and already carries EU e-invoice formats.

Spendalyst

Watches your recurring charges and tells you when one quietly raises its price

Subscription price rises are easy to miss and add up, and this sends one clear thing to act on each Monday without asking you to keep a budget.

It lets UK savers test drawdown plans with real tax rules, couples and State Pensions, privately, with no account or tracking and two engines that check each other.