4 ms·GitHub MCP Server now with server instructions, better tools, and more4 points by kordlessagain 1y ago