QED — A Multi-Agent Math Proof Pipeline Built on CLI Subprocesses