MyCasaPro
Home-operations system with local state, LTI agent coordination, user-owned connectors, a persistent knowledge vault, and linked private settlement.
Distributed systems, local-first software, and verification-heavy tools.
20+ years in software. I work mainly in TypeScript and Python on systems that need to stay correct under partial connectivity, delayed inputs, and uneven operator behaviour.
GitHub: 202 contributions in the last 12 months, as of May 23, 2026; 140 tracked project commits in 2026.
Home-operations system with local state, LTI agent coordination, user-owned connectors, a persistent knowledge vault, and linked private settlement.
Field operations system for small growers: planning, task flow, stock, and notes with offline storage and delayed sync.
Household ledger for recurring bills across linked devices, with planning, progress tracking, export, and recovery.
Current-event analysis system with harm assessment, actor scoring, evidence updates, comparison, and revision-aware public pages.
Private transaction interface for shielding, transfer, unshielding, and payment linkage on supported chains.
Distributed inference market with gateway routing, lease assignment, usage receipts, and provider attestations.
Filing analysis system for nonprofits and schools, built to inspect spending patterns against public claims.
Recent changes pulled from tracked project feeds and commit history.
May 9, 2026
Source titles are shown as published.
MyCasaPro, Theo.farm, Au Jour Le Jour, Respometer, and Soundcheck.AI.
ZK proofs, bounded context for LLM systems, private settlement, and append-only coordination.
Local ownership, operator-readable state, and verification before automation.
For technical context, project notes, or an introduction, send a short message.
Email