Kar Tally

Deterministic budget-cap ledger auditor with no LLM judge: recompute an AI agent's spend log to prove balances are consistent, gap-free, and the cap was never exceeded even if a later balance was edited to hide an overspend.

Description excerpted from the original listing, which is linked below.