MPC Server by openhonest
Umbra: an apophatic code auditor that reports what your tests are structurally unable to see, and proves each gap with a real failing test.
