F
licenseA
qualityD
maintenanceEnables analysis of GitHub Pull Requests, including details, diff, file lists, and review tracking.
3
-
No user-submitted related servers found.
Scored across 5 tools
Each tool targets a distinct coverage aspect: repo, commit, file, pull request, or comparison between references. No functional overlap.
All tools follow a clear verb_noun pattern (get_<entity>_coverage, compare_coverage), with no mixing of styles.
Five tools cover the essential coverage operations for a code coverage server, neither too few nor excessive.
Covers repo, commit, file, PR, and comparison coverage queries. Minor gap: no tool for listing commits or historical trends, but core use cases are well supported.