Monte-Neo strategy verifier — history · Wellknown