Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
제작자가 쓴 설명(영어 원문)
The Bitcoin credit markets, measured. Cross-venue rates, venue criteria, chain indicators.
이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.
이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.
쓰고 있는 AI 앱을 고른 다음 설정을 복사하세요.
필요한 것
어떤 앱을 쓰세요?
위에서 앱을 고르세요. 기억해 두었다가 다음부터는 버튼에 “…에 설치”라고 표시해요.
웹, 데스크톱, 모바일의 Claude에서 쓸 수 있어요:
https://mcp.bitcoincreditstack.com/mcp터미널에서 이 명령어를 실행하세요
claude mcp add --transport http bitcoincreditstack https://mcp.bitcoincreditstack.com/mcp프로젝트의 .cursor/mcp.json 또는 ~/.cursor/mcp.json에 붙여 넣으세요
{
"mcpServers": {
"bitcoincreditstack": {
"url": "https://mcp.bitcoincreditstack.com/mcp"
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
프로젝트의 .vscode/mcp.json에 붙여 넣으세요
{
"servers": {
"bitcoincreditstack": {
"type": "http",
"url": "https://mcp.bitcoincreditstack.com/mcp"
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요:
https://mcp.bitcoincreditstack.com/mcp메뉴 이름은 요금제나 시기에 따라 조금 다를 수 있어요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
아직 이 서버의 도구 목록을 읽지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 6일 점검
게시자(bitcoincreditstack.com)가 저장소 소유자(JamieFrame)가 아니에요. 다른 사람이 등록했을 수 있어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 점검하지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요
아직 점검하지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요
아직 점검하지 않았어요. 엔드포인트를 점검할 때 도구 목록을 읽어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 1개 중 0개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
레지스트리에 필수 키가 나와 있지 않아요. 다만 처음 쓸 때 로그인을 요구하는 서버도 있어요.
제작자의 클라우드에서 실행돼요. 설치 없이 인터넷으로 연결하지만, 보내는 내용은 제작자의 서버를 거쳐요.
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(0.1.0)은 2개월 전 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. URL로 연결되기 때문에, 원격 MCP 서버를 지원하는 앱(예: 개발자 모드의 ChatGPT)에서도 쓸 수 있어요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, FOGA node
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
A Finch OG Agent cell as an MCP server: read the world, dry-run and take ERC-8414 tenders by policy.
제작자의 저장소에서 쓰인 그대로 가져왔어요. PopNx MCP가 검토하거나 보증한 내용이 아니에요. HTML, 이미지, 스크립트는 제거했어요. 링크를 누르면 이 사이트를 벗어나요.
Aletheia Analytics MCP server — agent-native interface over the Gavel data product.
Thin TypeScript wrapper around api.thegavel.io. Exposes Gavel credit data and Bitcoin on-chain indicators as MCP tools so LLM-driven agents (Claude Desktop, IDE clients, custom agents) can read the data product without hand-rolling REST glue.
All three layers of the AI concierge spec (aletheia-docs data/specs/mcp/ai_concierge.md) are live, plus the indicator surface and real key→tier resolution. Delivered by Runbook R18 and governed by the decisions note data/specs/mcp/tier_and_scope_decisions_v1.md (MD1–MD12).
Layer A — read state
| Tool | Upstream |
|---|---|
check_wallet_status | direct RPC (balances, allowances, readiness blockers) |
find_auctions_matching_criteria | /v1/auctions |
get_user_positions | /v1/user/:address/positions |
get_loan_status | /v1/loans/:id/status |
Layer B — factory model (unsigned blueprints; the user signs)
| Tool | Encodes |
|---|---|
prepare_bid_calldata | placeBid + approval when allowance is short |
prepare_create_auction_calldata | createAuction + collateral approval |
prepare_repay_loan_calldata | repayLoan + repayment approval |
prepare_claim_collateral_calldata | claimCollateral |
prepare_claim_refund_calldata | claimRefund |
Layer C — catalogues
| Tool | Notes |
|---|---|
list_wallet_options | static catalogue, no ranking |
recommend_fiat_onramp | static catalogue; carries the two-purchase gas requirement |
Data surface
| Tool | Upstream |
|---|---|
list_gavel_indicators | static catalogue of 32 indicators |
get_gavel_indicator | /v1/credit/*, /v1/onchain/*, /v1/market/* |
get_yield_curve | /v1/yield-curve |
get_mvrv | /v1/onchain/mvrv |
get_protocol_reference | static — addresses, signatures, conventions |
list_onchain_indicators | static catalogue |
Aletheia builds; the user signs. There is no signing surface in this codebase — no wallet client, no account, no key material. viem is imported for encodeFunctionData only. That is what makes "Aletheia never signs" an architectural fact rather than a policy promise, and it must stay that way.
Equally load-bearing: no tool ranks, scores, or selects on the user's behalf. Filtering by user-supplied criteria is an information service; ranking by an internal model is investment advice. find_auctions_matching_criteria is named as it is deliberately, and the naming is not cosmetic.
LLM Client → mcp.thegavel.io (this server) → api.thegavel.io (REST) → PostgreSQL
[tool catalog, descriptions, [authoritative endpoints] response shaping, auth, limits]
Single source of truth: the REST API. The MCP server never queries Postgres directly. Tools shape responses for LLM consumption (JSON-stringified text content) but never re-implement business logic. When the REST API upgrades, MCP inherits the upgrade automatically.
# Install deps (Node 20+)
npm install
cp .env.example .env nano .env # set GAVEL_API_BASE_URL etc.
npm run dev
npm run typecheck
npm run build
Point a development MCP client (MCP Inspector, Claude Desktop with an HTTP connector) at http://localhost:3002/mcp to exercise tools.
Target: gavel-btc Hetzner host, alongside gavel-api.
# Local — build and stage
npm install npm run build
scp -r dist/ package.json package-lock.json deployment/ \ root@gavel-btc:/root/gavel-mcp/
ssh root@gavel-btc cd /root/gavel-mcp npm install --omit=dev
cp .env.example .env nano .env
cp deployment/gavel-mcp.service /etc/systemd/system/ systemctl daemon-reload systemctl enable gavel-mcp.service systemctl start gavel-mcp.service
journalctl -u gavel-mcp -n 50 --no-pager curl http://localhost:3002/health
cp deployment/nginx-mcp.conf /etc/nginx/sites-available/mcp.thegavel.io ln -s /etc/nginx/sites-available/mcp.thegavel.io \ /etc/nginx/sites-enabled/mcp.thegavel.io nginx -t && systemctl reload nginx
certbot --nginx -d mcp.thegavel.io
curl https://mcp.thegavel.io/health
All knobs live in .env:
| Var | Default | Purpose |
|---|---|---|
PORT | 3002 | HTTP listen port |
NODE_ENV | — | production for JSON logs |
LOG_LEVEL | info | pino level (trace/debug/info/warn/error) |
GAVEL_API_BASE_URL | http://localhost:3001 | Upstream REST base URL |
RATE_LIMIT_ANONYMOUS_PER_MINUTE | 60 | Anonymous bucket size |
RATE_LIMIT_PAID_PER_MINUTE | 300 | Paid bucket size |
CORS_ALLOWED_ORIGINS | empty | Comma-separated; empty = no CORS |
HEALTH_CHECK_SECRET | empty | If set, /health requires ?secret=... |
GAVEL_API_INTERNAL_URL | http://127.0.0.1:4012 | Key→tier lookup. Must be the loopback address — /internal/resolve-tier refuses any request carrying an X-Forwarded-For, so the public api.thegavel.io host will not work |
INTERNAL_API_SECRET | empty | Shared secret for the tier lookup. Must match gavel-indexer/.env.mainnet. Unset ⇒ every caller resolves to free |
MCP_TIER_ENFORCEMENT | false | Enforce per-tool tiers. Leave false until Gate B — see *Tier model* |
ARBITRUM_RPC_URL | public RPC | Chain reads for Layer A/B. Point at a paid endpoint in production |
ARBITRUM_SEPOLIA_RPC_URL | public RPC | Testnet equivalent |
The ladder is free / pro / enterprise — identical to the product's (gavel-indexer/lib/tiers.js) and to what Stripe sells. The scaffold's original anonymous / developer / professional / enterprise was a second vocabulary for one entitlement and is retired (MD1).
gavel-indexer/lib/api-keys.js is the authority on what tier a key is. The MCP does not open its own database pool; it asks GET /internal/resolve-tier over loopback, caches the answer for 60 s, and fails open to `free` on any error. A data MCP that 500s because the key database hiccuped is worse than one that briefly serves anonymous.
MCP_TIER_ENFORCEMENT defaults to false, and that is the correct state today. Monetisation is gated until Gate B (D16–D18): *do not build a paywall until someone has asked to pay*. Runbook A2 withdrew the commercial surface, and www.thegavel.io/pricing currently states that data access is free and open — so refusing a tool and pointing the user at a page which denies tiers exist would be a self-refuting journey.
With the flag off, requireTier still resolves the caller's real tier and logs what it would have refused. That log is the evidence for M6, the "has anyone actually asked to pay?" gate condition.
Before flipping it on, read MD2. There are two incompatible readings of what a paid MCP means — whole-surface-paid (lib/tiers.js carries mcp: false on free) versus depth-paid (MD3, the endorsed one). They are very different products.
Per MD3, inheriting the D5 route/depth map: raw on-chain state, auction discovery, wallet status, commodity on-chain indicators, the current value of any Gavel-derived assessment, and history are all free. History is free because D9 retired the 30-day REST cap, and the MCP must not reintroduce a fence the surface it mirrors has abandoned. The paid boundary is bulk delivery, which this server does not offer.
Participation is never gated (D3). Every Layer A/B/C tool is free: a would-be bidder must never meet a paywall between deciding to bid and being able to.
Rate limits are infrastructure protection, not a billing meter (D2), and apply irrespective of the enforcement flag.
npm run build # tsc -> dist/ ; must be clean
systemctl restart gavel-mcp systemctl is-active gavel-mcp journalctl -u gavel-mcp -n 30 --no-pager
This service is systemd, not pm2. pm2 on this host carries quorum-mcp-testnet, a different service — pm2 restart gavel-mcp is a no-op that looks like a successful deploy. R18 v1 had this wrong; it is recorded in that runbook's §8.
The service runs dist/, not src/, so a change that is not built is a change that is not deployed.
src/tools/ / .ts. Copy credit/yield-curve.ts as the template — it's the cleanest worked example..describe() on every field; that description is what the LLM sees during tool discovery.requireTier(...) → upstreamGet(...) → return { content: [{ type: 'text', text: JSON.stringify(...) }] }.src/tools/index.ts.src/tools/discovery/list-onchain.ts (or the equivalent discovery catalog for that domain).# 1. Health
curl -s http://localhost:3002/health | jq
npx @modelcontextprotocol/inspector
Proprietary © 2026 Aletheia Analytics SASU. All rights reserved.