MLabs

MLabs builds and reviews software where the cost of being wrong is high. The work splits four ways: advice for founders and engineering leaders, development in Haskell, Rust and Nix, and independent review and formal verification before a system goes live. The fourth is running the identity and secrets infrastructure a team deploys and then has nobody to maintain — Keycloak, OpenBao, and certificate lifecycle.

On Cardano, MLabs writes and audits smart contracts in Aiken, Plutarch and Plinth, and maintains open-source tooling the ecosystem depends on. Audit reports are published where the client allows it.

The first conversation is free. Bring the problem rather than a specification.