关于 MONARK
MONARK 是面向 DeFi 场景中 AI Agent 的决策门控工具包,以可审计的覆盖区域和可消耗的授权预算为依据,而非输出概率评分。其公开 MCP 端点提供四种工具,用于证明、门控、级联分析和校准;其他组件标注为计划中或仅命名。
主要功能
- 01提供带来源信息的价格证明
- 02返回 commit、defer 或 abstain 决策
- 03执行覆盖率控制门控并管理预算
- 04分析清算级联过程
- 05校准决策门控
- 06提供可回放的公开数据产物
适用场景
- 01Agent 行动前核查经证明的价格
- 02用可审计区域门控 DeFi 声明
- 03沿价格路径评估借贷头寸
- 04检查已发布的跟踪数据及来源
MCP 相关
公开 MCP 端点提供 `attest`、`gate`、`cascade` 和 `calibrate` 四种工具。另提供纯 HTTP/JSON 镜像。
配置
远程服务无需本地安装。选择你使用的客户端,复制配置或使用一键安装。
https://mcp.monarkgate.tech/mcpclaude mcp add --transport http tech-monarkgate-monark https://mcp.monarkgate.tech/mcp{"mcpServers":{"tech-monarkgate-monark":{"type":"http","url":"https://mcp.monarkgate.tech/mcp"}}}在 Cursor 中打开{"servers":{"tech-monarkgate-monark":{"type":"http","url":"https://mcp.monarkgate.tech/mcp"}}}在 VS Code 中打开{"mcpServers":{"tech-monarkgate-monark":{"type":"http","url":"https://mcp.monarkgate.tech/mcp"}}}{"mcpServers":{"tech-monarkgate-monark":{"serverUrl":"https://mcp.monarkgate.tech/mcp"}}}命令在终端中运行;JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。
工具
4| 参数 | 类型 | 必填 | 说明 |
|---|---|---|---|
| params | object | 是 | |
| params.tau | number | 是 | `set` 路径的集合大小阈值(>= 0)。 |
| params.nMin | integer | 是 | 最小校准数量(>= 1)。 |
| params.tool | string | 是 | 指定的门控工具(会回显,但不会调用 — D0/D1)。 |
| params.alpha | number | 是 | 目标误覆盖率,范围为 (0,1)。 |
| params.bFloor | number | 是 | B_floor 阈值(>= 0)。 |
| params.intent | string|number|null | 是 | 根据区域测试的意图。 |
| params.clockOpen | boolean | 是 | 覆盖窗口是否仍处于开放状态(由调用方管理)。 |
| params.calibration | object | 否 | 可选的 BYO 校准(ADR-M007 D7):调用方提供的不合规分数和区域模式。若提供,门控会针对调用方的模型执行共形化,而非使用已提交的类别。 |
| params.calibration.mode | enum | 是 | `interval` ⇒ 区间 [yhat - q̂, yhat + q̂];`set` ⇒ 对 `candidates` 进行保形集合预测。interval | set |
| params.calibration.scores | array | 是 | 调用方提供的非一致性分数(interval 模式要求所有分数均 >= 0)。 |
| params.calibration.candidates | array | 否 | 集合模式的候选标签及其非一致性分数(当 mode = set 时必填且不能为空)。 |
| params.tauInterval | number | 是 | `interval` 路径的宽度阈值(>= 0)。 |
| params.remainingBudget | number | 是 | B_t — 剩余授权容量(由调用方持有,D6)。 |
| attested | object | 否 | |
| attested.subject | string | 是 | |
| attested.attestor | array | 是 | |
| attested.residual | array | 是 | |
| attested.transport | string | 是 | |
| attested.utterance | object | 是 | |
| attested.utterance.hash | string | 是 | |
| attested.utterance.bytes | string | 否 | |
| attested.observed_at | object | 是 | |
| attested.observed_at.clock | string | 是 | |
| attested.observed_at.instant | integer | 是 | |
| attested.schema_version | string | 是 | |
| attested.sens_emis_digest | string | 否 | |
| attested.octets_recalcules | boolean | 是 | |
| attested.verifier_revision | string | 是 | |
| prediction | object | 是 | |
| prediction.yhat | string|number | 是 | |
| prediction.task_class | string | 是 | |
| prediction.produced_at | string | 是 | |
| prediction.predictor_id | string | 是 | |
| prediction.schema_version | string | 是 | |
| prediction.features_digest | string | 否 |
详细介绍

MONARK
MONARK 是一套双侧工具包——一侧面向 AI,另一侧面向 DeFi——像瑞士军刀一样打造:一个手柄,
多把刀刃。 手柄是 MONARK 引擎,即 AI 侧:一个由覆盖率控制的决策闸门,针对可耗尽的授权预算(B_t)输出 commit | defer | abstain——绝不输出正确概率——并配备用于证明链上事件的传感器、传感器所遵循的冻结合约、其他 AI Agent 借以接入的工具架,以及帮助其随着 DeFi 变化而持续适应的 Agent。刀刃是 DeFi 侧:它所驱动的链上应用,每个应用都在上线前基于链上数据的实证研究而开发。第一个是 MONARK Bell;其他则是研究方向。
单一代币,单一代号(MONARK)。这些 Agent 是应用,而非代币。本仓库是 MONARK 的代币化层、八个冻结的接口合约(其中一个 AttestedBook 尚未上线)以及已上线的组件,让 AI Agent 与 DeFi 能在经过测量的基础上协同。
两侧,一个引擎——十一大组件
引擎由十一大组件组成:三个传感器、一个闸门、一个执行动作、六个分发组件。每个组件都能服务于两侧。左侧: 它为连接到 MONARK MCP 端点的 AI Agent 提供什么(目前有四个工具:attest · gate · cascade · calibrate;标记为 planned 的组件尚无已上线的工具)。右侧: 它为 DeFi 侧提供什么——它所驱动的链上应用(括号中为网站图示中的应用;wired = 当前已在注册表中声明,can serve = 潜在方向,而非已交付的关联)。
| AI 侧 — 面向我们 MCP 上的 Agent | 组件 | DeFi 侧 — 面向 DeFAI 应用 |
|---|---|---|
attest:经证明的价格证明(字节、哈希、具名残差假设),Agent 可引用它,而非抓取来的数字——只有来源和字节,绝非真相。 | Shōgen — 传感器,经证明的感知 · 已构建 | 应用在支出、对冲或降低风险时能够为其辩护的价格(可服务:Warden、Softlanding、Firebreak、Ballast)。 |
gate + calibrate:Agent 提交一项声明,并获得 commit | defer | abstain、可审计区域和剩余预算——绝非正确概率。 | Hikae — 门控,覆盖率受控的推断 · 已构建 | 每个应用的决策原语(已接入:Firebreak、Warden、Softlanding、Verdict、Ballast)。Bell 的门控是其自身封闭的发布检查;计划为其非营业时段缺口设立门控类别。 |
cascade:Agent 查询借贷资产组合沿某条价格路径会如何清算(过渡性工具;会弃答,状态为 under_calib)。通过 gate,类别 liquidation-eligible-coverage 会返回调用方携带的可清算金额在其承诺分层中的共形上界,该上界基于一次已记录事件校准;其他分层会弃答(状态为 under_calib)——此信息会在接口中说明。 | Ukemi — 行动,清算级联存活 · 已构建 | 读取去杠杆队列或尚未清算的头寸(已接入:Firebreak、Softlanding)。 |
每日可重放的赎回流时间线(state.json、timeline.jsonl),任何 Agent 均可读取;还可通过 gate 使用已提供服务的门控类别 stable-run-velocity-24h。 | Narabi — 传感器,赎回挤兑感知 · 已构建,每日提供服务 | 为持有该稳定币的财库提供赎回挤兑感知:每日可重放的赎回流读数,事后给出,绝不提前预测(可服务:Warden、Ballast)。 |
| 计划中:对 Agent 必须据以行动的文档或事件进行证明——提供字节和哈希,绝不对其真实性下结论。 | Mokugeki — 传感器,文档/事件证明 · 已命名 | 已结算决策据以启动的经证明事件(可服务:Verdict)。 |
| 计划中:在路由兑换前,询问成交是否会受到 LVR/毒性流的影响。 | Kaihi — LVR/毒性规避 · 已命名 | 降低风险或对冲的执行环节,必须避免被抢先交易(可服务:Firebreak、Softlanding、Ballast)。 |
| 计划中:在门控决策的支持下,依据交易成本分析执行兑换。 | Kessai — 兑换执行,TCA · 已命名 | 行动环节——降低风险、逐步减仓、再平衡(可服务:Firebreak、Softlanding、Ballast)。 |
| 计划中:为 Agent 的做市报价并管理库存。 | Kamae — 库存做市 · 已命名 | 面向财库的库存感知对冲(可服务:Ballast)。 |
| 计划中:将 PT/YT 曲线读取为经证明的利率曲面。 | Kyokusen — PT/YT 曲线 · 已命名 | 利率财库据以稳定的利率曲面(可服务:Ballast)。 |
| 计划中:将周末/非营业时段缺口作为 Agent 可通过门控判断的感知量。 | Koyomi — 周末缺口 · 已命名 | 代币化股票的非营业时段缺口,即 Bell 发布的确切数值(可服务:Bell)。 |
入口:发现工具和技能(MCP Registry tech.monarkgate/monark)。 | Genkan — 店面/MCP 入口点 · 已命名(目前由 harness 提供入口服务) | 将每个应用分发给使用它们的 Agent(可服务:全部六个)。 |
先测量。 MONARK 的任何部分都不是在白板上设计好就直接发布的。每一部分都始于一项实证研究——某个归档区块上的清算账本记录、在平稳窗口期间测得的赎回流量序列、交易暂停普查、逐场记录的代币化股票成交数据——研究产物会始终附属于所提供的部分:带摘要的已提交校准数据、可重放且逐行带有哈希链的时间线、已发布的签名密钥。这就是我们所说的可观测环境:通过 MONARK 在 DeFi 中运行的 AI Agent 基于经证明的读数和经审计的区域采取行动;在没有测量数据的地方,它会明确返回 abstain,而不是把猜测包装成数字。 |
持续适配。 DeFi 并非一成不变:协议会升级,清算引擎会改变形式,预言机和数据源会迁移,校准数据也会漂移。引擎的设计使上述每一项都成为一项经过测量的事件,并有预先登记的应对措施(漂移判据、新的记录器、新的残差假设、合约的版本化变更)。适配 Agent 是 AI 侧负责检测这些事件并准备应对措施的部分。它们已列入路线图,但尚未发布(见下方的成熟度表)。
目前提供的内容
以下内容均已上线、机器可读,第三方无需账户即可重放:
| 接口 | 提供的内容 | 使用方 |
|---|---|---|
https://mcp.monarkgate.tech/mcp · https://api.monarkgate.tech/openapi.json | 引擎的四个工具(attest · gate · cascade · calibrate),通过 MCP 和纯 HTTP/JSON 镜像提供;所提供的 OpenAPI 文档注明了所提供版本 | 任何支持 MCP 的 Agent |
https://monarkgate.tech/narabi/state.json · timeline.jsonl | Narabi 的跟踪器状态,以及仅追加、逐行带哈希链的每日时间线(每个窗口一行,并注明读取数据所用的区块) | 任何重放跟踪器的人;网站的 /narabi 页面 |
https://monarkgate.tech/narabi/instrument.json | 跟踪器旁的一份诊断文件,由一段已结束的连续区块一次性写入(绝不由每日任务写入):跟踪器在替代参数下的重放结果和经置换检验评估的 CUSUM;它不声称提供任何界限 | 任何审计跟踪器的人;没有页面会读取它 |
https://bell.monarkgate.tech/state.json · timeline.jsonl · provenance.json · bell/pubkey.json | MONARK Bell 的签名发布内容:所列代币化股票的逐场成交、VWAP 和成交量,暂停交易普查、供应量和储备证明残差、每次运行的来源信息、当前启用的 Ed25519 密钥 | 任何验证发布内容的人;网站的 /bell 页面 |
https://dojo.monarkgate.tech/ · timeline.jsonl · dojo/pubkey.json · lines/<sha256>.jsonl · history/<sha256>.jsonl | MONARK Dōjō 的持有快照:按日期记录每个地址持有的 MONARK 代币余额,通过两个不同的运营方从链上读取,并为每个地址提供持有评分;签名时间线、已发布的密钥、某日的行文件,以及签名时间线中的一行通过 SHA-256 指向的历史文件 | 任何重新计算这些数据的人;网站的 /dojo 页面 |
https://monarkgate.tech | 展示页:上面的所有数字都从已提交且经过哈希处理的所提供文件副本中读取,而非手动输入 | 读者 |
未列于此表的接口不会提供。凡是没有已提供接口的组件,无论出现在哪里,都会标注为已命名,而非已构建。
骨干——门控器
MONARK 中的一切都接入同一个决策原语。传感器读取世界并对其进行证明;预测器将该读数转化为一项声明;门控器通过保形化处理,将该声明转化为具有目标覆盖率的区域,并针对一个可消耗的预算返回以下三种操作之一:
- 提交 — 区域足够精确,可以据此采取行动,且预算足以支付;
- 延后 — 读数存在歧义;门控器会等待更好的读数;
- 弃权 — 门控器无法给出自己有把握的区域,因此保持沉默,不会捏造成功。
门控器绝不会报告自己有多大可能判断正确。它报告的是可审计的区域和可监控的预算——绝不会报告判断正确的概率。
成熟度(按已构建内容标注)
这些标签才是重点:它们说明了哪些内容现已存在,哪些仅有名称。
| 侧 | 层 | 内容 | 状态 |
|---|---|---|---|
| AI | 骨干——门控器 | Hikae(覆盖率控制)+ MONARK 代币的预算 B_t;将传感器读数转化为 commit | defer | abstain | 已构建——八项冻结的契约(AttestedBook 将在投入服务前保持即将推出状态) |
| AI | 传感器与行动 | 引擎的 Agent:提供证明的传感器、执行操作的行动模块,以及供它们共用的一个代币 | 4 个已构建(Shōgen · Hikae · Ukemi · Narabi)· 7 个已命名 |
| AI | Harness——入口 | 同一引擎,可通过 HTTP / MCP 供其他 AI Agent访问 | 已构建——公开的 4 工具 MCP 端点(attest · gate · cascade · calibrate) |
| AI | 适配 Agent | 负责重新校准、接入协议、跟踪清算机制和监控数据源的 Agent | 路线图——已有名称,尚未发布 |
| DeFi | 应用——由引擎驱动 | 每项 DeFi 需求对应一个应用,并附有各自发布的工件 | 1 个已构建(MONARK Bell)· 5 个研究方向 |
引擎——AI 侧
已构建:
- Shōgen — 经证明的感知:经证明的价格陈述——来源和字节,而非真相。
- Hikae — 覆盖率受控的推断:门控。
- Ukemi — 清算级联生存能力:记录器在归档区块上,通过无密钥 RPC 法定人数读取借贷协议的清算簿,并对其生成摘要(AttestedBook 合约)。服务的门控类别
liquidation-eligible-coverage为一个已记录事件的一个分层保留了已提交的校准:对于调用方携带的、属于该分层的可清算金额,它会返回保形上界(根据构造,下界为 0);其他所有分层均弃权(under_calib)。只有当金额是根据冻结的平仓因子规则生成时,该界限才成立;门控不会检查这一点,而且不会声称对任何其他事件提供覆盖率——这一点会在链路上明确说明。cascade工具是过渡性的,其设计即为弃权。 - Narabi — 赎回挤兑感知。其
AttestedFlow证明(第五个冻结合约)和速度适配器已在此仓库中提供;公共端点提供门控类别stable-run-velocity-24h,并且为一个总体提供已提交的校准——USDe,该校准基于平静时期的链上赎回流量窗口测得。该校准在不同半年期间测得为非平稳,因此不声称提供逐窗口覆盖率;链路上的诚实声明采用 Barber、Candes、Ramdas 和 Tibshirani 2023(定理 2,单位权重)的措辞——未测得覆盖率。其他所有总体均弃权(under_calib)。一个脱离工具运行的每日哨兵会在区块最终确定后推进跟踪器,并在https://monarkgate.tech/narabi/发布可重放的时间线(state.json、timeline.jsonl,逐行哈希链式链接)。instrument.json— 仪器,而非官方跟踪器:跟踪器会在其他参数下重放;并对静态未命中运行一种单侧 CUSUM,其形式由 Page(1954)提出、Lorden(1971)阐述,再通过 Vovk(2012)定义的交换性置换检验进行评估。这是第三种方法,不属于 Lorden 的 i.i.d. 理论和 Shin、Ramdas、Rinaldo(2022)的 e-detector;不声称任何界限。仅有一份快照,只生成一次,不由每日任务刷新。
Narabi 唯一的公开声明,原文如下:
Narabi 在经证明的每日 USDe 赎回流量上运行自适应分位数跟踪器(Angelopoulos–Barber–Bates 2024,衰减步长):其状态会根据实际结果在每个 24h 窗口更新,并发布完整时间线,供任何人重放。它所携带的是随窗口累积而收紧的确定性长期界限,每日连同 T 一起打印;这不是逐窗口覆盖率,也不是概率;门控已提交的校准不依赖跟踪器状态。在预注册的漂移标准触发且 ADR 另有说明之前,门控区域仍是已提交的静态校准:跟踪器会自适应,门控目前不会。
Narabi 不是什么。 每日打印的界限是 Angelopoulos、Barber 和 Bates 2024(定理 1)中的量
(B + η₁)/(T·η_T),其中 c = B = 1/24 且 ε = 0.1。发布的区域属于跟踪器,而非门控:
门控保留已提交的静态校准,并且在预注册的漂移标准(rolling90_calm_miss ≥ 0.40,可在 90 对平静样本后评估)触发并发布决策记录说明之前不会改变。这不是逐窗口覆盖率,不是判断正确的概率,也不是价格判断。
自行重放。 Narabi:通过 eth_getLogs + totalSupply,根据每个窗口的 [from_block, to_block] 重新计算所有窗口,然后使用 timeline.jsonl 的 s 列,通过已提交的 trackerReplay 重新推导 q。Bell:根据已发布的密钥验证每行时间线的 Ed25519 签名,根据提供的状态重新计算 state_sha256,并根据声明的窗口重建所声明资金池的摘要(apps/bell、scripts/verify-bell.mjs)。逐行哈希链可使任何篡改都能被发现。
已列入引擎路线图(预告——尚未交付的部分,不声称任何指标):Mokugeki
(文档 / 事件证明)· Kaihi(LVR / 毒性规避)· Kessai(交换执行、
交易成本分析)· Kamae(库存做市)· Kyokusen(PT / YT 曲线)·
Koyomi(周末缺口)· Genkan(门面 / MCP 入口)。
应用——DeFi 领域
应用是引擎投入实际使用的地方。每个应用都基于相同的门控机制和合约构建,始于实证研究,并配有各自发布且可重放的产物。
已构建并提供服务:
- MONARK Bell — 首个应用:针对现金市场交易时段以外的代币化股票提供公开、经证明的见证记录:按时段(盘前、常规、盘后、隔夜、周末)列出指定池中的链上成交、成交量加权平均价和成交量、交易暂停情况统计,以及供应量 / 储备证明残差——以带签名的哈希链时间线形式发布于
https://bell.monarkgate.tech/(state.json、timeline.jsonl、provenance.json、位于bell/pubkey.json的 Ed25519 公钥),并附有读取端验证器以及本仓库中的签名密钥环。绝不提供价格预测;弃答也会计数并如实发布。
开发方向——研究阶段(已命名,尚未交付;无指标、无日期):
- MONARK Firebreak — 在永续合约平台上抵御自动减仓连锁反应,而不是被卷入其中。
- MONARK Warden — 为 DAO 或其他 Agent 控制的金库设置最小权限门控。
- MONARK Softlanding — 读取杠杆头寸的清算风险,并在触发清算前逐步降低敞口。
- MONARK Verdict — 将原始事件调用转化为覆盖率受控、已结算的决策。
- MONARK Ballast — 已命名;范围仍在研究中。
每个开发方向都将像 Bell 一样成为应用:先对链上数据开展研究,再构建记录器;如有需要,则冻结合约;随后提供带签名时间线的服务主机——只有完成这些步骤后,才会标记为 built。
成熟度标准
只有满足以下所有条件,组件或应用才会标记为 built;否则标记为 named:
- 先开展研究。 对链上数据进行测量;可行时预先注册(在运行前写明假设和阈值),并将产物与代码一同提交和哈希处理。
- 冻结合约,前提是该部分采用了新的形态(目前为六种;第七种应作为有版本号的接口变更,而非补丁)。
- 提供服务界面。 其输出由线上界面使用——MCP/HTTP 工具、已发布文件、下游组件均可,而不能只用于测试或演示。
- 端到端集成测试,用于重放整个组合;并进行部署检查,针对服务主机运行读取端验证器。
同样的标准也适用于引擎变更:重新校准、新增记录器或新的残差假设。
这些组件背后的研究
- Narabi — 通过区块最终性读取稳定币经证实的赎回流程;校准在平静窗口上进行,并发现其在不同半年间并非平稳,因此服务的区域会明确说明这一点,而不是声称覆盖范围。预先注册的漂移标准决定何时可以移动门槛。
- Ukemi — 在归档区块上、通过无密钥 RPC 仲裁组记录某借贷协议的清算账簿;以精确的定点算术交叉核验健康因子,沿记录的预言机路径重放清算;校准课程的假设和结果已发布在网站上,数字与经过哈希的报告逐位一致。
- MONARK Bell — 美国交易暂停事件普查、处理夏令时的交易时段日历、在两个运营方读取其所声明资金池中代币化股票的链上成交记录,以及明确标注最早发布时间的签名发布协议。
- Shōgen and Hikae — 一种承载字节和残余假设而非真相的证词格式,以及一个覆盖范围受控的门槛,其区域可审计,预算可耗尽。
如果研究没有发现任何内容,组件就会如实说明:abstain、具名残余、计数后的缺失。
组件间的协作(为何这些组件能共同运作)
AI side — the MONARK engine
sensors (attest) → the gate: Hikae + MONARK B_t → acts (execute · upcoming)
commit | defer | abstain
harness (MCP / HTTP) · adaptation agents: recalibrate · onboard · track · watch
│
▼
DeFi side — the applications
MONARK Bell (built, served) · Firebreak · Warden · Softlanding · Verdict · Ballast (research)
每个应用都接入同一个门槛;每个未来的传感器都以同一种合约形状进行证明;对引擎的每次更改都满足相同的成熟度标准。
自行验证
- Bell。 获取
bell/pubkey.json,然后读取timeline.jsonl的每一行:使用当前有效密钥验证其 Ed25519 签名,根据提供的状态重新计算state_sha256,根据提供的来源信息重新计算provenance_sha256,并沿prev_line_hash追溯到创世行。scripts/verify-bell.mjs仅使用 Node 完成这些操作;它生成的部署检查已提交到此仓库。 - Dōjō。
node apps/dojo/scripts/dojo-verify-cli.mjs --url https://dojo.monarkgate.tech --keyring apps/dojo/keys/dojo-keyring.json仅读取提供的文件,并以此仓库中的公钥环作为信任根(提供的dojo/pubkey.json会与之交叉核验):它遍历签名时间线(Ed25519 签名、链式校验、每个密钥的有效时间窗口),然后使用 Merkle 根重新计算每个price_version、历史文件和每个快照的各行;--address <address>会添加一个地址的包含证明,--day <YYYY-MM-DD>会检查过去某一天。它仅使用 Node 输出一行 JSON,只有所有检查均通过时,ok才为 true。它不会重放采集过程(签名证明来源,而非真相:读数是两个运营方报告的内容),不会读取链,也不会检查公共随机信标的 BLS 签名。 - Narabi。 通过
eth_getLogs+totalSupply,根据每个窗口的[from_block, to_block]重新计算该窗口,然后使用已提交的trackerReplay根据timeline.jsonl的s列重新推导q。 - 网站。
monarkgate.tech上的每个数据都读取自apps/site/data/下的文件;这些文件的哈希固定在manifest.sha256.json中,并由测试逐字节与提供的文件比对。
面向 Agent 构建者
- 添加端点(见下方的
hermes/openclaw单行命令)或安装技能。 - 对必须引用的价格调用
attest,对必须据以采取行动的声明调用gate,对必须保护的借贷头寸调用cascade,使用calibrate接入你自己的分数。 - 将答案解读为一个区域和一份预算。遇到
abstain时,不要采取任何行动,并说明原因——原因就在传输内容中。这里不存在可能被误读的置信度分数。 - 将 Bell 和 Narabi 作为文件读取:它们的发布对象是程序,而不仅仅是人。
八项冻结契约
接口已冻结且与语言无关(事实来源:schemas/*.json):
| 契约 | 生产方 | 含义 |
|---|---|---|
AttestedPrice | Shōgen | 经证明的证词(字节 + 哈希 + 命名残差假设)——仅指来源和字节,绝不代表真相。价格数值由 Hikae 侧适配器解读——Shōgen 从不声明价格。 |
AttestedFlow | Narabi | 兑换流量的经证明的证词(字节 + 哈希 + 封闭的 residual[] 枚举)——仅指来源和字节,绝不代表真相。burns/mints/supply 均以原始值传递。 |
Prediction | 任意预测器 | Hikae 对 ŷ 进行共形化处理,并附带 predictor_id(场所/模型)。 |
CoverageVerdict | Hikae | 共形区域——多态 set(分类)| interval(回归,因此 Ukemi 可以接入)。没有 p_correct 字段。 |
GateDecision | Hikae L3 | commit | defer | abstain + remaining_budget = B_t,即附属于 MONARK、可耗尽的共形授权容量(绝非收益)。 |
AttestedBook | Ukemi(记录器) | 在无密钥 RPC 法定人数下,对归档区块处清算订单簿的自行声明读取:包含摘要(订单簿、持有人)及区块/提供方/法定人数上下文——尚待提供。 |
PolicyTable | MONARK(策略表) | 某类别的策略表:一个类别条目及其行(单元格键、alpha、n、已提供的秩和 q̂、scores_sha256)。判定结果携带表的摘要(policy_table_sha256)以及所用行的摘要(policy_row_sha256)。 |
ToolError | 测试框架 | HTTP 400 或 500 响应的正文:{error, operation, message, code},其中 code 来自规范的封闭目录。请读取 code,不要读取消息。 |
代币
MONARK 携带 B_t,即可耗尽的授权预算:每次 commit 都会消耗预算;defer 和 abstain 不会。它代表整个集群的行动权,并以计量方式分配——不是收益,不是存款,也不是预言机。
代币经济学:即将公布。
合约地址(CA): FYZcYCHSp8FzNba1UtDZydKKGosmxVNpFBiVuia38AhT(仅地址——没有价格,不提供购买调用)。
集群不变量——任何地方都没有置信度字段
Shōgen 和 Hikae 都拒绝置信度字段。输出是一个区域、一个集合,或字节 + 哈希 + 命名残差假设——绝不是分数。接口的任何位置都没有置信度字段,并且契约层通过代码强制执行这一要求:
- 封闭模式(
additionalProperties: false)——主要防护机制,与 Shōgen 的解码器一致;解码器会拒绝未知键,而不是忽略它。由closed-check.ts(手写的允许键集合)在运行时强制执行,并通过测试确保与 JSON Schema 保持同步。 - 递归禁用键检查——纵深防御(
forbidden-keys.ts),可在任意深度捕获禁用键。契约只要包含此类键,就会抛出错误,而不是序列化。 - 词汇门禁(
scripts/grep-forbidden.mjs)——CI 会在文案或过度声称措辞出现时失败。
连接引擎(其他 AI Agent 的入口)
任何支持 MCP 的 Agent 都可以通过一个公共端点访问引擎:
- MCP 端点:
https://mcp.monarkgate.tech/mcp(HTTP/JSON 镜像:POST https://api.monarkgate.tech/{attest|gate|cascade|calibrate};已提供的openapi.json会注明所提供的版本)。 四项工具:attest · gate · cascade · calibrate。已列入官方 MCP Registry,名称为tech.monarkgate/monark。 - 一行添加:
hermes mcp add monark --url https://mcp.monarkgate.tech/mcp
openclaw mcp add monark --url https://mcp.monarkgate.tech/mcp --transport streamable-http
使用此服务无需提供个人数据(无需账户、电子邮件或钱包)。
状态
第二阶段——集成,逐项提供。 接口已冻结,Hikae 和 Ukemi 引擎已完成;Narabi 和 MONARK Bell 已提供,并发布了可重放的时间线。本仓库的公开投影由 scripts/export-public.mjs 生成。
运行门禁
npm ci
npm run ci # vocabulary gate → typecheck (tsc strict) → tests (node:test)
工程选择
- 多语言技术栈,契约优先采用 Schema。 Shōgen 使用 Rust,运行时使用 Python,Hikae 的引擎和商店使用 TS。因此,契约采用与语言无关的 JSON Schema 表达;
packages/contracts中的 TS 包是第一个绑定。Rust 和 Python 绑定到相同的 Schema。 - 运行时零依赖。 已发布的契约在运行时不引入任何依赖。开发依赖:
typescript、@types/node、ajv/ajv-formats(仅用于测试)以及eslint/typescript-eslint(仅用于 lint);测试使用内置的node:test(Node ≥ 24 原生 TS 类型剥离)。键闭合性在运行时通过手写逻辑强制执行(与 Shōgen 零依赖的未知键拒绝机制一致);值约束(最小数量/唯一项、哈希长度、ASCII 可打印字符)在 JSON Schema 中定义,并在测试中使用ajv验证。 ajv是开发依赖(仅用于测试):它会编译冻结的 JSON Schema、解析$ref,并验证这些 Schema 会拒绝违反值约束的情况(空数组/重复项数组、长度错误的哈希、控制字符),这些情况仅靠 TS 类型无法检测。- 先测量,再提供服务。 只有在相关研究产物已提交并与之一起存放且已哈希(校准摘要、带有同目录溯源信息的记录夹具、可重放时间线),并且有端到端执行测试作为组合结果证明时,某项内容才会进入公共界面。
目录结构
schemas/ JSON Schema — the language-neutral source of truth (closed)
packages/contracts TS binding: types, closed-check, forbidden-keys, scores_sha256, serializers, tests
packages/hikae HAC-CP engine: L1 split / L2 monitor / L3 gate, interval conformer (built)
packages/ukemi liquidation-cascade survival: clearing, liquidable (built)
packages/monark integration adapters: Shōgen→AttestedPrice, Narabi AttestedFlow→Prediction; canonical CBOR
packages/atelier local demo surface (not a shipped application)
apps/harness the MCP / HTTP harness — four tools over the frozen contracts (engine, AI side)
apps/sentinel off-tool sentinels: Narabi daily tracker; Ukemi liquidation-book recorder (engine, AI side)
apps/bell MONARK Bell — the first application (DeFi side): publisher, hash chain, verifier, public keyring
apps/site public vitrine
skills/monark the integration skill (MIT-0)
.github/workflows CI (5 blocking jobs)
链接
- 网站: https://monarkgate.tech
- Bell(经认证的见证者): https://bell.monarkgate.tech
- Narabi(日常时间线): https://monarkgate.tech/narabi/
- MCP 端点: https://mcp.monarkgate.tech/mcp(HTTP/JSON 镜像:POST https://api.monarkgate.tech/{attest|gate|cascade|calibrate})
- Linktree: https://linktr.ee/monarkgate
许可证
Apache-2.0 — 参见 LICENSE。已发布的集成技能采用 MIT-0 许可。
评论
一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。