These servers are hosted versions of the OpenZeppelin Contracts MCP package, which can also be run locally by following the instructions in the linked readme.