Lightweight, zero-config MCP server for documentation projectsgithub.com/derberg1 pointvonneborowitz4 months ago