GitHub MCP Server now with server instructions, better tools, and more

4 points kordlessagain | 1 comments | 30 Oct 25 02:40 UTC | HN request time: 0.198s | source