io.thegavel/gavel
aletheia-mcp
io.thegavel/gavel costs 6 217 tokens of context per session. It has 21 tool definitions. That is 3.1 % of a 200k window. Measured 2026-10-03.
Oracle-free fixed-rate, fixed-term BTC credit on Arbitrum One. Data and unsigned blueprints.
alive probed 2026-10-03 · HTTP 200
21tools
6.2ktokens for the tool definitions
3.1 %of a 200k context window
2.0 sto initialize
692 msto list tools
- Endpoint
- https://mcp.thegavel.io/mcp (streamable-http)
- Host
- mcp.thegavel.io
- Protocol
- 2025-11-25
- Reports itself as
- aletheia-mcp 0.4.0
- Capabilities
- tools
- Instructions
- 1 413 characters
- Repository
- https://github.com/JamieFrame/gavel-mcp
- Registry
- active, updated 2026-08-29 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| prepare_create_auction_calldata | 509 | 8 % |
| find_auctions_matching_criteria | 488 | 8 % |
| get_yield_curve | 448 | 7 % |
| list_comparables | 422 | 7 % |
| list_fiat_onramps | 400 | 6 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:41 | alive | 2.0 s | 21 | 6.2k |
| 2026-10-03 17:56 | alive | 239 ms | 21 | 6.2k |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.thegavel/gavel)