LIVE ENV ProverCoderAI / effect-template