SERVER

Gavel MCP Server

Rank #19,725

io.thegavel/gavel

Oracle-free fixed-rate, fixed-term BTC credit on Arbitrum One. Data and unsigned blueprints.

2 versions

by JamieFrame (3 servers)View repository ↗

First listed

Aug 26, 2026

Last publish date

Aug 29, 2026

PURPOSE

What you can do with Gavel MCP Server

Gavel MCP Server is a Model Context Protocol (MCP) server published by JamieFrame. It ranks #19,725 of 168,415 active servers on MCP Toplist. Gavel MCP Server is listed on Official MCP, with 2 tracked versions. It was first listed on Aug 26, 2026 and most recently updated on Aug 29, 2026.

Not verifiedMCP Toplist has not yet written a checked profile for this server, so the paragraph above is assembled from registry data only. The repository README is the authority on what it does.

CAPABILITIES AND LIMITATIONS

What Gavel MCP Server can and cannot do

Not verifiedMCP Toplist has not catalogued this server's tools or limitations. The repository README lists them.

REQUIREMENTS

What you need before using Gavel MCP Server

DeclaredNo credentialsNo credentials declared

The registry listing declares no required environment variables or authentication. This is declared metadata, not a verified install — the repository README is the authority.

MCP Toplist probed the public endpoint on Oct 28, 2026 and could not complete the MCP handshake (jsonrpc error). Requirements remain unverified.

Declared by the Official MCP Registry, last synced Nov 4, 2026. Not independently verified by MCP Toplist.

Declared in the registry install config

Hosted endpoint declared as public.

INSTALLATION AND FIRST TASK

Connect Gavel MCP Server and confirm it works

Remote · HTTP

claude mcp add --transport http gavel https://mcp.thegavel.io/mcp

Remote · HTTP

[mcp_servers.gavel]
url = "https://mcp.thegavel.io/mcp"

Add to ~/.codex/config.toml.

Remote · HTTP

https://mcp.thegavel.io/mcp

Settings → Connectors → “Add custom connector”, then paste this URL.

Remote · HTTP

{
  "mcpServers": {
    "gavel": {
      "url": "https://mcp.thegavel.io/mcp"
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).

Remote · HTTP

{
  "servers": {
    "gavel": {
      "type": "http",
      "url": "https://mcp.thegavel.io/mcp"
    }
  }
}

Save as .vscode/mcp.json in your workspace.

Remote · HTTP

{
  "mcpServers": {
    "gavel": {
      "serverUrl": "https://mcp.thegavel.io/mcp"
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json.

Remote · HTTP

{
  "mcpServers": {
    "gavel": {
      "url": "https://mcp.thegavel.io/mcp"
    }
  }
}

First successful task

After adding the config, ask your client to list this server's tools. A tool list confirms the connection; an empty list or an error means the server did not start or needs credentials.

MAINTENANCE AND EVIDENCE

What changed, and when this was checked

First listed: Aug 26, 2026
Latest version published: Aug 29, 2026
Version history: 2 versions tracked (below)
Requirements evidence: MCP Toplist probed the public endpoint on Oct 28, 2026 and could not complete the MCP handshake (jsonrpc error). Requirements remain unverified.
Profile checked: Not yet — purpose, capabilities and requirements above come from registry data only
Ranking data as of: Aug 29, 2026

Registry sightings

Official MCP ↗listed since Aug 27, 2026 · still listed

Do you maintain Gavel MCP Server? to correct or enrich this profile.

VERSIONS

Available versions (2)

Version	Published
0.4.0	Aug 29, 2026
0.3.0	Aug 26, 2026

STANDING

#19,725of 168,415 active serversTop 25%

Ranks ahead of 148,690 of 168,415 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/io.thegavel%2Fgavel.svg)](https://mcptoplist.com/server/io.thegavel%2Fgavel)

HTML

<a href="https://mcptoplist.com/server/io.thegavel%2Fgavel"><img src="https://mcptoplist.com/badge/io.thegavel%2Fgavel.svg" alt="MCP Toplist: Top 25% of 168,415" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

FAQ

Frequently asked questions

Who maintains Gavel MCP Server?: Gavel MCP Server is maintained by JamieFrame, which publishes 3 MCP servers (3 total versions) tracked on MCP Toplist.
Is Gavel MCP Server listed on the Official MCP Registry?: Yes — Gavel MCP Server is listed on the Official MCP Registry.
How many versions does Gavel MCP Server have?: MCP Toplist tracks 2 versions of Gavel MCP Server, most recently published on Aug 29, 2026.
Where can I find the source code for Gavel MCP Server?: The source code for Gavel MCP Server is hosted at github.com/JamieFrame/gavel-mcp.

Used in projects

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.

EXPLORE

All MCP Servers Official MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers