gavel
Rank #9,847glama/gavelcode/gavel
MCP server for gavel, a code-quality gate for Bazel monorepos. Exposes judge, findings, coverage and architecture tools so a coding agent can check its change against the quality gate (lint, coverage, layer rules) before declaring it done — all off the Bazel build graph, over just what changed.
gavel is a Model Context Protocol (MCP) server published by gavelcode. It ranks #9,847 of 132,046 servers tracked on MCP Toplist, and its repository has 10 GitHub stars. gavel is listed on Glama, with 2 release tags tracked from its GitHub repository. It was first listed on Jun 28, 2026 and most recently updated on Jul 27, 2026.
Ranks ahead of 122,199 of 132,046 servers on MCP Toplist.
Use gavel
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fgavelcode%2Fgavel)<a href="https://mcptoplist.com/server/glama%2Fgavelcode%2Fgavel"><img src="https://mcptoplist.com/badge/glama%2Fgavelcode%2Fgavel.svg" alt="MCP Toplist: Top 10% of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
gavelcode
GitHub releases (2)
No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.
| Version | Published |
|---|---|
| v0.2.0 | Jul 27, 2026 |
| v0.1.0 | Jun 28, 2026 |
Frequently asked questions
- Who maintains gavel?
- gavel is maintained by gavelcode, which publishes 1 MCP server (2 total versions) tracked on MCP Toplist.
- Is gavel listed on the Official MCP Registry?
- gavel is not on the Official MCP Registry. It is listed on Glama.
- How many versions does gavel have?
- No registry surfaces explicit version metadata for gavel; MCP Toplist tracks 2 release tags from its GitHub repository, most recently published on Jul 27, 2026.
- Where can I find the source code for gavel?
- The source code for gavel is hosted at github.com/gavelcode/gavel.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.