I build systems you can audit.

Analysis engines, proof search and reporting pipelines. The point of all of them is the same: you should be able to check the answer, not just trust it.