dev/public: links for electronic-mcp-server