Skip to main content
AllMCPs
BrowseBestCategoriesStackCompareToolsGuidesBlog
Log in Submit MCP

Stay in the loop

Get new MCP servers and top picks in your inbox.

AllMCPs

The open directory for discovering and installing Model Context Protocol servers.

AllMCPs on GitHub (opens in a new tab)
Launched onTiny Startupstinystartups.com
Explore
  • Browse servers
  • Best MCP servers
  • Categories
  • MCP clients
  • Agent prompts
  • Stack Builder
  • Compare servers
  • Random discovery New
  • Submit a server
  • Pricing & Boost Boost
Learn
  • Guides hub
  • What is MCP?
  • Install guide
  • Build an MCP server
  • Deploy an MCP server
  • Security guide
  • Troubleshooting
  • MCP for SEO & AEO
  • Protocol versioning
  • Blog & updates
Tools
  • All developer tools
  • Config generator
  • Config validator
  • Config auditor
  • MCP playground
  • Token calculator
  • OpenAPI β†’ MCP
  • Badge generator
For agents
  • REST API docs
  • Trust & traffic Live
  • Remote MCP server SSE β†— (opens in a new tab)
  • llms.txt β†— (opens in a new tab)
  • Catalog JSON β†— (opens in a new tab)
Company
  • About
  • Advertise Sponsor
  • Contact
  • GitHub β†— (opens in a new tab)
  • Terms
  • Privacy
AllMCPs VerifiedAllMCPs VerifiedFeatured on Nick LaunchesFeatured on Nick LaunchesLaunch Llama NewsletterLaunch Llama NewsletterVerified DR - allmcps.comVerified DR - allmcps.comFeatured on SaaSGrowFeatured on SaaSGrowFeatured on Twelve ToolsFeatured on Twelve ToolsFeatured on Saaspa.geFeatured on Saaspa.geFeatured on Findly.toolsFeatured on Findly.toolsFeatured on Startup FameFeatured on Startup FameFeatured on LaunchKiwiFeatured on LaunchKiwiFeatured on ScrollLaunchFeatured on ScrollLaunchFeatured on DailyPingsFeatured on DailyPingsFazier badgeFazier badgeFeatured on NewTool.siteFeatured on NewTool.siteFeatured on saasfame.comFeatured on saasfame.comDR Checker - Domain RatingDR Checker - Domain RatingListed on Turbo0Listed on Turbo0Launched on LaunchBoard - Product Launch PlatformLaunched on LaunchBoard - Product Launch PlatformList on SimilarlabsList on Similarlabshttps://codetrendy.comhttps://codetrendy.comListed on DevTool.ioFeatured on BuildlistFeatured on BuildlistLaunched on Tiny StartupsFeatured on ShowMeBestAIFeatured on ShowMeBestAIFind us on LaunchZoneFind us on LaunchZoneAllMCPs VerifiedAllMCPs VerifiedFeatured on Nick LaunchesFeatured on Nick LaunchesLaunch Llama NewsletterLaunch Llama NewsletterVerified DR - allmcps.comVerified DR - allmcps.comFeatured on SaaSGrowFeatured on SaaSGrowFeatured on Twelve ToolsFeatured on Twelve ToolsFeatured on Saaspa.geFeatured on Saaspa.geFeatured on Findly.toolsFeatured on Findly.toolsFeatured on Startup FameFeatured on Startup FameFeatured on LaunchKiwiFeatured on LaunchKiwiFeatured on ScrollLaunchFeatured on ScrollLaunchFeatured on DailyPingsFeatured on DailyPingsFazier badgeFazier badgeFeatured on NewTool.siteFeatured on NewTool.siteFeatured on saasfame.comFeatured on saasfame.comDR Checker - Domain RatingDR Checker - Domain RatingListed on Turbo0Listed on Turbo0Launched on LaunchBoard - Product Launch PlatformLaunched on LaunchBoard - Product Launch PlatformList on SimilarlabsList on Similarlabshttps://codetrendy.comhttps://codetrendy.comListed on DevTool.ioFeatured on BuildlistFeatured on BuildlistLaunched on Tiny StartupsFeatured on ShowMeBestAIFeatured on ShowMeBestAIFind us on LaunchZoneFind us on LaunchZone
Β© 2026 Jackalope Digital LLC. All rights reserved.
  1. Home
  2. πŸ“Š Monitoring
  3. Gavel
Gavel logo
Health: ActiveRecent health check succeeded.Last checked 9/9/2026, 12:33:40 PM

Gavel

User RatingsBe the first to rate and review this MCP server!
View Repository10 GitHub StarsTotal stargazers on GitHub for the source repository (10 stars).Visit Website

Local Bazel monorepo quality gate running lint, coverage, and architecture checks with pass/fail verdicts.

Quick Install

Automated & IDE Setup

Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β€” or use 1-click editor setup below.

One-click editor setup isn’t available for this listing yet β€” we don’t have a confirmed install command, and we’d rather show nothing than point your editor at the wrong package or host. Follow the project’s own setup instructions, linked above.

Manual Client & Custom JSON ConfigExpand JSON β–Ύ
No confirmed setup config for this listing yet. We only publish a config block when the install details come from the project itself β€” its README, its docs, or a verified owner. We haven’t found those for gavelcode/gavel, and we’d rather show nothing than a guess you’d paste into your client. Follow the project’s own setup instructions for the current steps.
Install Directory Badge Claim listing AlternativesπŸ“Š More in Monitoring

Overview

This tool integrates with Bazel monorepos to run static analysis, coverage, and architecture checks as Bazel aspects, producing SARIF-formatted results. It evaluates only changed code against a versioned quality gate configuration, enabling fast incremental quality assessment without rescanning the entire codebase. It can run fully locally and expose results via a Model Context Protocol server for coding agents to query during development.

Use cases

β€’Enforce lint and coverage quality gates on Bazel monorepo changes
β€’Integrate code quality checks into CI pipelines with pass/fail verdicts
β€’Provide coding agents with real-time feedback on code quality regressions
β€’Track incremental quality improvements or regressions over time
β€’Run local quality checks without requiring a centralized server

Key features

β€’Runs analyzers as Bazel aspects using existing build graph and toolchains
β€’Evaluates only changed targets against a versioned gavel.yaml quality gate
β€’Normalizes findings from multiple tools into SARIF format
β€’Supports lint, coverage, and architecture violation checks
β€’Exposes an MCP server interface for agent integration
β€’Operates fully locally with no network or server dependencies

Capabilities & Tool Schemas

Inspect callable tools, capabilities, and parameters exposed to AI agents by Gavel.

Extracted Tool Capabilities
Runs analyzers as Bazel aspects using existing build graph and toolchains
Evaluates only changed targets against a versioned gavel.yaml quality gate
Normalizes findings from multiple tools into SARIF format
Supports lint, coverage, and architecture violation checks
Exposes an MCP server interface for agent integration
Operates fully locally with no network or server dependencies

Documentation Overview

Gavel

CI codecov License Bazel

Bazel builds your monorepo. Gavel judges it. Order in the codebase!

The quality gate for Bazel monorepos β€” build-graph-native, local, agent-ready.

Your monorepo builds green. That's not the same as innocent. Gavel gathers the evidence as Bazel aspects, holds every change to the law you set in gavel.yaml, and returns a verdict: the regression you just introduced stands charged, while a decade of existing debt is not on trial. One verdict, handed to your CI, your terminal, and your coding agent alike.

bash
gavel init      # open the case
gavel judge     # hear it

Gavel judging a Bazel monorepo β€” a new finding is blocked while a decade of existing debt stays baselined


Install

sh
# Homebrew β€” macOS & Linux
brew install gavelcode/tap/gavel

# or the install script β€” Linux, CI, Docker
curl -fsSL https://raw.githubusercontent.com/gavelcode/gavel/main/install.sh | sh

Prebuilt binaries for every platform are on the releases page. Gavel needs a Bazel 8.0+ (bzlmod) workspace; verify with gavel --version.

Build from source
sh
bazel build //apps/cli/cmd/gavel
# binary at bazel-bin/apps/cli/cmd/gavel/gavel_/gavel

How it works

Every change gets its day in court.

1. The evidence comes from the build graph

Analyzers β€” golangci-lint, PMD, CPD, SpotBugs, Error Prone, Ruff, Bandit, ESLint, Clippy β€” run as Bazel aspects. They see the exact source tree, dependency graph, and toolchains Bazel already resolves; no separate scanner, no second config to drift. SonarQube re-scans the world; Gavel looks only at the targets the graph says changed (--affected), so a run stays fast as the monorepo grows. Every tool, every language, normalized to one format: SARIF.

2. You're only tried for what you changed

gavel.yaml is the quality gate β€” code, reviewed and versioned with the repo, not clicked into a web UI. It evaluates only what you just added against a committed baseline: new findings, coverage regressions, new architecture violations. Adopt Gavel on ten years of debt and it blocks on today's diff, never on the backlog.

yaml
projects:
  - name: payments
    pattern: "//payments/..."
    tooling:
      go: [golangci-lint, archtest]
    quality_gate:
      findings: { max_error: 0 }
      coverage: { min: 80 }
      architecture_violations: { max: 0 }

Every run saves a fingerprint snapshot; the next shows the delta β€” new, fixed, existing β€” plus the coverage trend. No server required.

Code
  payments/api/handler.go:42  error  null check missing  golangci-lint:nilerr  NEW

  βš–  VERDICT: FAIL β€” code_quality
     1 new Β· 8 fixed Β· 31 existing        coverage 73.5% (↑5.0%)        architecture PASS

3. A verdict your coding agent can request

Coding agents write code they can't see the consequences of β€” a lint regression, a coverage drop, a layering violation land three commits later in CI. gavel mcp starts a Model Context Protocol server that exposes judge, lint_file, findings, coverage, and arch as tools. Point Claude Code, Cursor, or Zed at it and the agent checks its own work against the same Bazel-aware gate as it writes β€” a quality conscience, inline.

For editors and dashboards, gavel watch re-analyzes on every save and emits a JSONL event stream. Both run fully local β€” no server, no network.

Gavel vs SonarQube: the case

SonarQubeGavel
Build-graph awarenessNoneBazel aspects understand target dependencies
Monorepo modelOne project, or a branch per projectHierarchical: per-package, per-project, whole repo
Analysis scopeFull scan or file diffBazel-aware: changed files + affected targets
Local workflowServer round-tripFully local, zero network
Coding-agent / editor loopβ€”MCP server + watch event stream
Quality gateWeb-UI configCode (gavel.yaml), versioned with the repo
Progress trackingServer-backedLocal fingerprint snapshots, no infrastructure
FootprintJava server + database + scannerOne static Go binary, runs inside Bazel

SonarQube is a mature platform with fifteen years of rules behind it, and Gavel isn't trying to replace it. Gavel answers a question SonarQube structurally can't: which packages of my Bazel monorepo are healthy, and did this change make one of them worse β€” where the build graph is the unit of analysis and the inner loop is where quality is actually won.

Already running aspect's rules_lint? Keep it. Gavel reads the SARIF it drops in bazel-bin/ (gavel judge --findings-source=rules_lint) and turns those reports into a gate β€” baseline delta, coverage, architecture, verdict β€” the layer rules_lint deliberately leaves to you.

Status

Alpha β€” v0.1.0. Under active development; APIs and config formats may change. Gavel gates its own repository on every commit β€” it is its own first user.

Working today:

  • gavel init β€” scaffold config + Bazel integration
  • gavel judge β€” analyze, evaluate the gate, show findings and the delta
  • gavel judge --project <name> Β· --quick Β· --summary Β· --affected β€” scope and shape the run
  • gavel judge --absolute β€” evaluate all findings (release gates, nightly)
  • gavel judge --json Β· --output-sarif report.sarif β€” structured output for CI, IDEs, GitHub Code Scanning
  • gavel judge --server URL --token TOKEN β€” shared team baseline: fetch and submit
  • gavel watch β€” re-analyze on change, emitting a JSONL event stream
  • gavel mcp β€” Model Context Protocol server for editor / agent integration
  • gavel validate β€” check Bazel integration health
  • Baseline mode (default): fingerprint-based new/fixed/existing classification, committed to git for the team
  • Analyzers: golangci-lint, PMD, CPD, SpotBugs, Error Prone, Ruff, Bandit, ESLint, Clippy
  • Server (optional): web dashboard, centralized history, team baselines, API-token auth

Documentation

  • Quickstart β€” from zero to a first verdict in five minutes
  • Configuration β€” gavel.yaml and architecture.yml, field by field
  • Baseline & delta β€” how new / fixed / existing is decided
  • Server deployment β€” running gavel-server
  • Full documentation index

Contributing

Issues and pull requests are welcome β€” see CONTRIBUTING.md and our Code of Conduct. Security reports go through SECURITY.md.

License

Apache License 2.0

Read the full README β†’View source on GitHub β†’

Related MCP Servers

View all in Monitoring View all alternatives
  • World Monitor logoWorld Monitor

    Live global intelligence: real-time markets, conflicts, country risk, chokepoints, energy. 39 tools.

    πŸ“Š Monitoring5 views
    Compare vs World Monitor β†’
  • Byok Observability MCP logoByok Observability MCP

    Comprehensive MCP server for Grafana, Prometheus, Kafka UI, and Datadog with a secure "Bring Your Own Key" or BYOK model.

    πŸ“Š Monitoring2 views
    Compare vs Byok Observability MCP β†’
  • Fastmcp Sonarqube Metrics logoFastmcp Sonarqube Metrics

    A Model Context Protocol (MCP) server that provides a set of tools for retrieving information about SonarQube projects like metrics (actual and historical), issues, health status.

    πŸ“Š Monitoring8 views
    Compare vs Fastmcp Sonarqube Metrics β†’
  • Dynatrace MCP logoDynatrace MCP

    Leverage AI-driven observability, security, and automation to analyze anomalies, logs, traces, events, metrics.

    πŸ“Š Monitoring3 views
    Compare vs Dynatrace MCP β†’

Adoption & maintenance

Factual signals from GitHub, npm, and our automated checks β€” not a rating.

GitHub stars
10
Stargazers on the source repository.
Last commit
1mo ago
Most recent push to the default branch.
Directory activity
1 views
Config copies, upvotes, and views on AllMCPs.

Reviews

No reviews yet β€” be the first to share how this listing worked for you.

Frequently Asked Questions about Gavel

Gavel requires a Bazel workspace version 8.0 or higher with bzlmod enabled.

AllMCPs Directory Badge

Full Badge Customizer

Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.

Badge Style:
Live Dynamic SVG PreviewGavel AllMCPs Directory Badge
Markdown (GitHub README)
[![AllMCPs](https://allmcps.com/api/badge/gavelcode-gavel?style=directory)](https://allmcps.com/mcp/gavelcode-gavel)
HTML Embed
<a href="https://allmcps.com/mcp/gavelcode-gavel"><img src="https://allmcps.com/api/badge/gavelcode-gavel?style=directory" alt="Gavel on AllMCPs" /></a>

Technical Specs & Signals

CategoryπŸ“ŠMonitoring
More technical detailsExpand β–Ύ
Last updatedAug 7, 2026
Views1
Unique ViewsTotal visits recorded for this listing page on AllMCPs.
Installs0
Installs & Copy ActionsTotal times users copied install commands or configuration snippets for this server.
GitHub stars10
GitHub Star CountTotal stargazers on GitHub representing community popularity (10 stars).
Last commit1mo ago
Last Repository CommitThe most recent commit or push recorded for this server's GitHub repository.Last commit on Aug 3, 2026
43Quality signal: Fair Β· 43/100How this signal is calculated β–Ύ
Server availabilityNot measured

Not scored for repo-hosted servers β€” we can't reach the running server, only its GitHub page. Hosted MCP endpoints are health-checked live.

Verified ownership10/20
Documentation & tools18/30
Adoption & activity4/15
Community engagement0/10

A guidance signal from public completeness & health data β€” not a user rating. New listings start lower and rise as they add docs, get verified, and grow adoption. Signals we can't observe for a listing are skipped, not counted against it.

β˜… FeaturedAllMCPs Server logo

AllMCPs Server

The official MCP server for AllMCPs.com - submit and manage tools directly from your AI. The open directory for MCP servers. Connect Claude, Cursor, Windsurf, and AI agents to databases, tools, files, and APIs. Explore 10,000+ servers. AllMCPs is the premier, open directory for discovering, evaluating, and installing Model Context Protocol (MCP) servers to equip AI agents and LLMs with real-world superpowers.

Explore Server β†’

Own this project?

This directory is pre-filled from public sources. Claim via GitHub README, site badge, or DNS TXT to unlock edit access and the Official badge β€” proof is checked automatically, then reviewed by our team.

Free dofollow backlink: add your website and place the AllMCPs badge on it β€” no claim needed. We detect it automatically and keep it verified as long as the badge stays live.

Claim & get free dofollow

Share & Embed

Add our SVG badge (dark/light directory styles) or embeddable widget to your site.

Explore more

More in πŸ“Š Monitoring β†’Best MCP servers for Monitoring & Observability β†’Alternatives to Gavel β†’Install in Claude DesktopInstall in CursorInstall in VS Code