I build decision-intelligence tools that show their work: what they knew, where it came from, and why they concluded it. Local-first where it matters, and explainable by construction rather than by afterthought.

	Project	What it does
	ProofLoop	Evidence-first verification for AI-assisted software engineering.	Python
	Timonelo	Cruise intelligence with explainable knowledge, geometry and decision layers.	Python
	AwardRadar	Travel decision intelligence for cash fares, award availability and booking verification.	Python
	EnergyRadar	Local-first energy intelligence for solar production, grid flow and household consumption.	Python
	LifeRadar	A calm life admin radar for deadlines, silent costs and open claims.	TypeScript
	SheetCompare	Local-first CSV and TSV diff. Drop two tables, see exactly what changed.	TypeScript
	FilePass	Local-first metadata inspection and cleaning for JPEG, PNG and PDF.	TypeScript
	florianhoffarth.com	Personal professional site and evidence layer for CV, projects and research.	HTML

Agent reports are claims. Repository state is evidence.

• Evidence over assertion. A result that cannot be traced is not a result.
• Explainable by construction. If the reasoning only appears in the write-up, it was never in the system.
• Local-first where it matters. Your data has no reason to leave the machine.
• Calm software. Tools should reduce the number of things you are holding in your head.

I run debother — small software for annoying problems. Tiny utilities that do one thing and get out of the way, which is the opposite end of the same instinct.