Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Storm risk, route risk and reanalysis backtests for any point on earth. No key, no wallet.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
AMANAT_MINER你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"amanat": {
"command": "npx",
"args": [
"-y",
"amanat-mcp"
],
"env": {
"AMANAT_MINER": "your-value"
}
}
}
}在终端中运行这条命令
claude mcp add amanat --env AMANAT_MINER=your-value -- npx -y amanat-mcp运行前请先填写空着的值。
粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"amanat": {
"command": "npx",
"args": [
"-y",
"amanat-mcp"
],
"env": {
"AMANAT_MINER": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"amanat": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"amanat-mcp"
],
"env": {
"AMANAT_MINER": "your-value"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上,无需账户。
AMANAT_MINER env这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
注册名称已通过 GitHub 账户 PugarHuda 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(0.1.3)于2个月前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。
同一分类中有:Spec Driven Development, Remote Desktop Commander, ScienceShot science reference
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
Sourced, citable answers in radiation and particle physics, photonics, electronics and quantum.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
Signed weather intelligence that a contract acts on by itself.
*Signed*, not "verified": the network's own verified: true cannot be checked from outside (bug report), so every answer here carries an Ed25519 signature over the fields a contract settles on, and anyone can check it with Node and nothing else:
node -e 'const c=require("node:crypto");fetch("https://amanat-miner.vercel.app/forecast?lat=10.32&lon=123.89&hours=6").then(r=>r.json()).then(({attestation:a})=>console.log(c.verify(null,Buffer.from(a.canonical),c.createPublicKey({key:Buffer.from(a.public_key,"base64"),format:"der",type:"spki"}),Buffer.from(a.signature,"base64"))))'
The key it checks against is the one published at /.well-known/amanat.json.
An *amanat* is a message entrusted to be carried — and, in the language of the old telegraph offices, the dispatch itself. That is the whole shape of this project: a miner sends the amanat, a scoring module tests it, and a contract carries it out without anyone deciding anything by hand.
Built for Telegraph Hackathon Season I. One codebase, three entries:
Live: amanat-miner.vercel.app — read a storm risk for any point, no wallet, no sign-up. It is the same call the contract makes before it spends anything.
In one line, from any MCP client: npx -y amanat-mcp — published to npm and listed in the official MCP registry as io.github.PugarHuda/amanat.
In three minutes: the deck · the film (84 s, cut from live sessions — no mockups) · /api/jobable, which measures how many intents are closed to on-chain jobs, how many are open, and how many cannot be audited at all because their leader publishes its registration at 127.0.0.1. Add ?intent=STORM_ALERT for a verdict on your own.
| Track | What | Where |
|---|---|---|
| 1 — Miner | Weather and storm-risk miner, answers legible to *both* a text scorer and a smart contract | miner/ |
| 2 — Script Author | Measurement-grounded WASM scoring module for Tier A intents | scorer/ |
| 3 — Application | Parametric cover settled through ERC-8183 on-chain jobs, a CLI, and an MCP server | onchain/, agent/, app/, mcp/ |
Everything here comes from measuring the live network rather than guessing at it. The numbers below are reproducible with the scripts in this repo.
1. Deterministic intents are scored as if they were prose. In epoch 240 the rank-1 miner on WEATHER_CHECK scored 0.0206 and on STORM_ALERT 0.0067. The miners are not bad; every scoring module on the network compares text, and those miners answer with numbers. A leaderboard built from those scores is noise — and routing follows the leaderboard.
2. The on-chain rail is real but unused. The Diamond answers getJobBasePrice() with 1000000 and, on 21 August, carried 139 miner registrations against 6 ERC-8183 jobs in its entire lifetime — the last two by a single participant, on 17 August. In a 77-hour window there were 44 MinerRegistered events and 2 JobCreated. Meanwhile the organisers name on-chain intelligence pipelines as the highest-value thing to build.
Read again on 31 August: 341 miner registrations, and still only 14 jobs. Eight of the fourteen are ours. Five settled; the last three have not moved.
3. Almost no miner can receive a job at all. A job hands the node raw OnChainData arrays; without an on_chain.request block in its YAML the node cannot turn those into an HTTP call. npm run audit fetches every registered YAML and checks. On 31 August: of 125 live miners, 29 declare an `on_chain` block at all, and a name-hashable intent has between one and three job-able miners — STORM_ALERT has exactly one, and it is this one. That is the bottleneck under problem 2, and it has loosened rather than closed: on 21 August there were 63 live miners and every name-hashable intent had a single job-able miner.
What the network actually looks like (read from /api/epochs, /api/validators and the Diamond, 21 August): epochs run hourly on testnet, not the 24 hours the docs describe. Each one scores 70 results across 17 intents and 29 of the 66 registered miners — more than half are never scored at all. There is one active validator, telegraph-node-1, so the 43-of-64 BFT threshold is a mainnet property, not something running today.
The shape held; the size did not. At epoch 294 on 30 August the network scored 242 results across 42 intents and all 125 live miners, and epochs had stopped being hourly — the last five landed 3 to 9 hours apart. Still one validator.
miner/server.mjs reads three free, keyless sources and returns every answer in two shapes at once. Open-Meteo's weather model gives the air; its marine model gives significant wave height, which is the thing that actually stops a ship and the one figure the shipping-lane board was missing; and GDACS gives every active named tropical cyclone on Earth with its position and maximum wind, so a reading under Tropical Storm Dolly says so by name rather than reporting "38 km/h wind". Storm risk is the worst of wind, gusts, rain, waves and cyclone proximity — a 4 m sea or a typhoon overhead reaches the ceiling on its own.
{
"summary": "Weather forecast for -6.20, 106.85: the temperature is 27.8 °C (82 °F) and it feels like 32.3 °C, humidity 73%, Clear sky, cloud cover 0%, wind 4.4 km/h (1.2 m/s) from the south-east, gusts 11.9 km/h, precipitation 0.0 mm (2% chance of rain), valid at 2026-08-30T17:00Z. … Storm risk is low (0.132); across 51 ensemble runs it ranges 0.08 to 0.14, 0% of them over the trigger.", "temp_c": 27.8, "wind_kmh": 4.4, "gust_kmh": 11.9, "precip_mm": 0, "wave_cm": 0, "cyclone_name": null, "cyclone_km": 0, "risk": 0.132, "breach": false, "valid_at": "2026-08-30T17:00Z", "source": "open-meteo", "risk_band": { "model": "ecmwf_ifs025", "members": 51, "p10": 0.076, "p50": 0.104, "p90": 0.14, "max": 0.164, "breach_probability": 0 }, "attestation": { "algorithm": "ed25519", "sha256": "9e991dc5…", "signature": "B3dtTlG1…", "public_key": "MCowBQYDK2VwAyEAJf1zypC6…", "key_persistent": true } }
Abridged: a live response carries 36 fields. The rest are the ones a report carries and a contract ignores — humidity, dew point, wind direction, cloud cover, chance of rain, a two-day high and low, sea level, the named cyclone and its distance — plus the signed canonical payload and Open-Meteo's attribution. curl -s -X POST https://amanat-miner.vercel.app/forecast -H 'content-type: application/json' -d '{"lat":-6.2,"lon":106.85,"hours":0}' for the whole thing.
The sentence is what a text-comparing scorer can grade. The scalars are what Amanat.sol acts on, mapped through on_chain.fields in amanat-miner.yaml. Serving only one of the two is why the network currently has the gap it does.
The YAML also carries a complete on_chain.request block, which is what makes the miner reachable from a job at all, and declares Open-Meteo's real quota so the node refuses a request that would exhaust it *before* charging the caller.
npm run miner # http://127.0.0.1:8787
node miner/test.mjs # self-check, hits the real upstream
The miner has no dependencies, so the image is the runtime plus one file.
docker build -t amanat-miner miner/ && docker run -p 8080:8080 amanat-miner
fly deploy -c miner/fly.toml # or cd miner && vercel deploy --prod # serverless, via miner/api/*
Whichever you pick, the host has to be live *before* registerMiner: the node sandbox-tests every declared endpoint against the real upstream, and a registration whose YAML fails validation is rejected terminally rather than retried.
scorer/ is a no_std Rust module compiled to wasm32-unknown-unknown: 15.5 KB, zero imports, exporting alloc, dealloc, rank_answer and breakdown_answer.
It reads the *quantities* out of an answer and grades them as measurements: 38.2 °C, 100.8 F and 311.35 K are one reading; 10 m/s and 36 km/h are one wind speed; being 0.3° out is right and 30° out is wrong. Text overlap stays, but only to carry the non-numeric part of an answer.
Two rules do most of the anti-gaming work:
Every float operation is + - * / and comparison, which IEEE-754 defines exactly, so two validators on different hosts return identical bits.
npm run build:scorer
npm run bench # against the real champion binaries npm run attacks cd scorer && cargo test # 27 tests, native
Measured on scorer/bench.json (38 good/bad cases across 31 intents, 14 attacks) against champion binaries downloaded from their published wasm_url, re-run 31 August:
| module | margin | wins | worst self-match | stddev |
|---|---|---|---|---|
| game_result reg 1265 — reigning | 0.6524 | 37/38 | 1.0000 | 0.4525 |
| amanat_scorer | 0.5977 | 37/38 | 1.0000 | 0.4343 |
| urlscan reg 28 — champion until 23 August | 0.5015 | 34/38 | 1.0000 | 0.3320 |
| weathercheck reg 134 — superseded | 0.4688 | 34/38 | 1.0000 | 0.3228 |
| weather_forecast reg 636 — reigning | 0.4438 | 33/38 | 1.0000 | 0.4277 |
| financial reg 122 — superseded | 0.3886 | 29/38 | 1.0000 | 0.4191 |
| weather_check reg 510 — reigning | 0.3827 | 33/38 | 0.9952 | 0.3900 |
| storm_alert reg 453 — reigning | 0.3071 | 35/38 | 0.9830 | 0.3586 |
| text_auth reg 1882 — reigning | 0.2895 | 29/38 | 1.0000 | 0.4472 |
Stage 2 needs both bars — margin and ordering wins at least matching the champion — so the wins column matters as much as the margin.
The top row is the one to read first: registration 1265, the module that took the GAME_RESULT slot back off us after forty minutes, beats this module on this corpus. It is a good module. The three seated on the weather intents are not, and that is the gap this project is about.
Reproducing this table needs one step the repo cannot do for you. scorer/champions/*.wasm is gitignored — they are other people's binaries, some of them 25 MB — so a clean clone has nothing to compare against and npm run bench will report only our own. Fetch them first from the wasm_url each registration publishes at https://devnode.telegraphprotocol.com/api/wasm and drop them in scorer/champions/. npm run attacks reads scorer/target/…/amanat_scorer.wasm, so it wants npm run build:scorer first.
Read the rest honestly: this corpus is ours, and it says the approach works on the cases we can see, not that it wins the protocol's own hidden fixtures.
Widening the corpus from 20 cases to 38 is what found the real bugs. It exposed that "812.4 million" parsed as 812.4 while "812.4M" parsed correctly, that a correct paraphrase omitting a figure scored below a wrong answer that quoted it, and that "not a human" was being read as a negative verdict on an AI-detection question. Each of those was a wrong rule, not a missing special case.
Beating the champion's margin is not sufficient on an intent that carries traffic: the node also checks that your module orders *real
只显示了开头部分;其余内容请在仓库中阅读