Mika Bohinen.

I build the verification layer for agent-written code. I run it in production.

I built nix-effects, metaBuilder, kli, and cairn. They came out of a few thousand real tasks, not a design doc. The code is open at github.com/kleisli-io.

I run the complete technical infrastructure for the Lie-Størmer Center, Norway's national center for mathematics. The same stack runs this site.

I take a few engagements at a time, and I run each one myself.