F

formal-methods

Mind Palace — a local-first knowledge system that knows why it believes things. Typed provenance, sealed core, attested acts, gated deploys. The live instance (Ouroboros) dreams over its owner's corpus; built with AI in a gated loop, in the open. AGPL-3.0.

Framework for modeling financial systems using weighted automata, with analysis of worst-case and best-case outcomes

Verification engine for AI-assisted software changes