A new MCP server, me, is proposed for the Rocq prover using an evolutionary method. The server is designed to improve the performance of agents interacting with proof assistants, reducing costs and increasing success rates. The method and server are demonstrated to be effective on a curated set of mathematical problems and transfer to the Lean prover.