"author:david-kraemer" matching MCP servers:

Enables a coding session to watch GitHub pull requests and receive reports of new activity such as commits, reviews, comments, check status changes, and merge or closure events, with events available through live channel messages or pending queries.