audit
01Command
Scan for non-kernel money math. Rebuild critical flows as JournalEntrys. Replay and prove. Complements /ledger-verify.
1 3d ago A 0 tokens
original MIT
1Stars on the repository
20Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
reconcile
02Command
Assumptions → Money.from → cited, balanced JournalEntry → Ledger.apply. Output entries + proof.
1 3d ago A 0 tokens
original MIT
review
03Command
Kernel first (/ledger-verify or /ledger-audit), then host TDD/review/security if present. See skills/ledger-review/SKILL.md.
1 3d ago A 0 tokens
original MIT
sim
04Command
Seeded scenario on the kernel. Log assumptions. Prove equation. Replay with the same seed must match.
1 3d ago A 0 tokens
original MIT