CSV importer
Read the documented transaction columns into exact minor-unit amounts.
Money calculations people should not recheck alone.
Budget rules and exact amounts recur in personal apps. Kraton has four offline CSV components for this job. They show the reusable parts; a complete saved budget app and stronger evidence for its important properties are work to be done.
Each function can be specified and checked on its own.
Categorizer
Apply merchant rules supplied by the user.
Budget review
Compare expenses with the specified category budgets.
Monthly summary
Produce a report while keeping currencies separate.
What runs
The four signed demo components can be installed and called separately through a local host and MCP client. They use synthetic examples and need no bank credentials or network access.
What still needs work
They are not yet one saved Companion budget app. The open order asks for a tighter input contract, adversarial cases, and independent evidence for exact-money and currency-separation properties.