MCP servers from io.github.vernonstinebaker
Zero-dependency WebDAV MCP server — single static binary, no Node.js or Python. 8 tools via stdio.
