LIVE ENV codervisor / lean-spec