Show HN: Nia – MCP server that gives more docs and repos to coding agents