a mcp server to manage github project's functionality - View it on GitHub