// leak
New to Leak? Read what it is and how it works — the harnesses, the services, and the results on FATE-X.
Choose a harness and a driving model, connect your own local Claude Code CLI as the prover, and send a statement straight from here.
Leak’s main strength is the strength of its tools — see the Leak services. Be sure to connect context-rich tools when using this harness for the best performance.
No activity yet — send a problem to the prover.
This page is under construction; the write-up on Leak’s architecture and methodology is at /about/leak.