NOMOS MCP Server on Smithery