---

Agent reports are claims. Repository state is evidence.

I build evidence-first software and 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.

Selected projects

	Project	What it does
	Timonelo	Cruise intelligence with explainable knowledge, geometry and decision layers.	Python
	WhatChanged · Live	Local-first text/PDF diff with deterministic change evidence and export.	JavaScript
	FilePass	Local-first metadata inspection, cleaning and independent verification for JPEG, PNG and PDF.	TypeScript
	ProofLoop	Evidence-first verification for AI-assisted software engineering.	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, local-first life admin radar for deadlines, silent costs and open claims.	TypeScript
	PDFUnbreak	Local-first cleanup for hard-wrapped text copied from PDFs.	JavaScript
	SheetCompare	Local-first CSV/TSV comparison by primary key with explicit changes.	TypeScript
	florianhoffarth.com	Personal site for public administration, leadership, digital transformation and research.	HTML

What I care about

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.

Also

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.

---

_{Evidence over claims.}