gavel
io.thegavel/gavel
About gavel
gavel is an MCP server published by thegavel.io. Oracle-free fixed-rate, fixed-term BTC credit on Arbitrum One. Data and unsigned blueprints.
It is hosted by the publisher at one address, so there is nothing to install: your AI client connects to it over the internet.
It asks for no keys or passwords.
Version 0.4.0 was published on 29 August 2026, and the source code is public, so you can read it before installing.
Written from the registry entry. 7 automated checks on the registry entry and the live tool descriptions: 4 pass, 0 warn, 0 fail, 3 info. How we check.
What it asks for
This server declares no environment variables, so it asks for no keys or settings.
Checks
| Check | Result | Detail |
|---|---|---|
| Source repository linked | Pass | https://github.com/JamieFrame/gavel-mcp |
| Remote uses HTTPS | Pass | All remote endpoints use https:// |
| Secrets requested | Info | Asks for no secrets |
| Namespace ownership | Info | Name verified via domain thegavel.io |
| Registry text aimed at the AI | Pass | Description and settings contain no hidden characters or instructions to the AI |
| Tool descriptions read | Info | Lists 21 tools: get_yield_curve, get_protocol_reference, check_wallet_status, find_auctions_matching_criteria, list_fiat_onramps, list_wallet_options, get_user_positions, get_loan_status, list_gavel_indicators, get_gavel_indicator, prepare_bid_calldata, prepare_create_auction_calldata, … |
| Hidden instructions in tools | Pass | Read every tool description and the server instructions: no hidden characters or instructions to the AI |
Popularity & health: 53 / 100
Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.
0 forks, 1 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.
What people say
No Hacker News threads link to its source code.
Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.
Facts
| Registry name | io.thegavel/gavel |
|---|---|
| Publisher | Domain thegavel.io |
| How the name is verified | Name verified via domain thegavel.io. The registry ties the name prefix to that account or domain; it does not check the code. |
| Type | Remote: hosted at a URL, nothing to install |
| Remote endpoints | streamable-http https://mcp.thegavel.io/mcp |
| Version | 0.4.0 |
| Published | |
| Last updated | |
| Source repository | https://github.com/JamieFrame/gavel-mcp |
| Website | None linked |
| Category | Other (assigned by keyword rule, not by hand) |
Related servers in Other
- OpenMEP duct sizing7/7Deterministic HVAC duct sizing at a fixed or Manual D friction…
- CREW / CrewPay8/9Unsigned Pump/Bags/Zora/Clanker launches. mintPubkey required. Fees…
- uniswap-tx-builder-mcp7/7Builds and simulates unsigned Uniswap v3 liquidity-position…
- leverage4/4Leveraged-yield router on Morpho. List strategies, simulate, and…
UEAgent2/2MCP server for Unreal Engine 5, built into the editor: Blueprints,…
- mlua-swarm4/4MCP server for mlua-swarm: engine that compiles flow.ir Blueprints…