本页为机器辅助的简体中文翻译。工具详情页和来源文档仍为英文。工具名称、数字、代码、签名和法律文本保留原样。

独立工具 / FLOP 开发网

先观测。
以证据为基础构建。

一个工具集,用于观测 FLOP 开发网、核查其声明、构建智能体并检查已签名的工作。从你的问题开始。让证据与其局限始终放在一起。

01目前的发现

算术检查通过,问题仍需追问。

以下是可重置开发网上注明时间的观测。这些样本描述工具在所示时间看到的情况。

Settlement verifier

结算的账目可以对得上。

已记录结算: 20

算术检查: 40

通过: 40 / 失败: 0

这只检查算术。约定价格、转录包含性、硬件证明和准确的挑战窗口仍需要证据。

已记录 / 最近已知

原始记录 ↗

打开工具 ↗

Conformance harness

文档中的声明也会检查失败。

239 项文档声明,从外部检查。

通过: 177

失败: 3

无法验证: 54

跳过: 5

请求数: 62 / 花费的 FLOP: 0

已记录 / 最近已知

原始记录 ↗

查看声明 ↗

Gateway / price sources

矿工被列出,不等于有在线率记录。

不同的报价来源地址: 65

结算样本中出现的报价来源地址: 4 / 65

没有匹配只表示该地址未出现在这一页结算记录中。

评分工具可以比较结算证据,不能据此评估在线率。

已观测

观测时间:

https://api.flop.network/v1/models
已观测

观测时间:

https://mcp.flop.network/mcp / flop_list_settlements?limit=5
打开工具 ↗

02证明应经得起追问。

证明应经得起追问。

FLOP 承诺可验证的 AI 推理。我们将每项承诺与公开数据支持的检查及其记录并列展示。

智能体向 GPU 矿工支付推理费用。

已记录结算将托管资金分为矿工报酬、未使用资金和销毁金额。精确整数算术显示各部分之和相符。这不证明资金已转移,也不证明价格已获双方同意。

  • Whole-tape escrow conservation: PASS
  • Escrow conservation: PASS
  • Agreed compute price: UNVERIFIABLE

已记录 / 最近已知: /

打开工具 ↗

矿工提交工作证明。

公开的 TEE 检查将自身标为模拟。公开文档未给出精确到字节的转录编码,因此包含性仍无法验证。

  • Simulated verifier is labelled: PASS
  • Transcript inclusion: UNVERIFIABLE
  • Assurance evidence: UNVERIFIABLE

已记录 / 最近已知: /

打开工具 ↗

任何人都可在约七天内对会话提出挑战。

SDK 文档将协作结算描述为立即支付且无标准挑战窗口。公开接口未暴露当前窗口常量。

  • Challenge window: UNVERIFIABLE
  • Challenge window: UNVERIFIABLE

已记录 / 最近已知: /

打开工具 ↗

欺诈被证实后,矿工损失全部质押。

文档中的罚没和基础质押数额属于设计参数。公开接口未暴露运行时常量。挑战监控工具也没有罚没历史数据源。

  • Fraud slash: UNVERIFIABLE
  • Base self-stake: UNVERIFIABLE

已记录 / 最近已知: /

打开工具 ↗

03开发网观测

读取网络公开的数据。

网关和索引器提供公开响应。每个值都保留来源和时间。各值的观测时间可能不同,不构成原子网络快照。

刷新窗口:30 秒。来源失败时保留注明时间的旧值。

区块高度

3,187,383

已观测

观测时间:

https://mcp.flop.network/mcp / flop_get_stats

账户数

16,708

已观测

观测时间:

https://mcp.flop.network/mcp / flop_get_stats

不同的报价来源地址

65

已观测

观测时间:

https://api.flop.network/v1/models

如何理解地址对照

读取公开来源

网关列出报价来源地址。索引器报告区块、账户和一页结算记录。每次观测都保留来源和时间。

注意样本范围

没有匹配只表示该地址未出现在这一页结算记录中。

依赖之前先检查

打开工具查看检查项目和限制。贡献签名验证发布的字节,不证明推理结果或网络最终性。

04工具台

一个工具集,每项工具回答一个问题。

涵盖观测、验证、构建、运营、智能体和身份六个分区。每个分区都从一个问题开始。Alpha 页面使用带来源时间的实时或已记录的真实数据。计划中的条目链接到源码仓库。可在包指南中搜索命令及其局限。

05从读取开始

先读取公开模型列表。

此次读取无需钱包、密钥或账户。粘贴网关命令,或在本地仓库使用 flop 查找工具。每份包指南都把快速开始与证据局限放在一起。

curl --fail https://api.flop.network/v1/models

06构建方式

智能体编写,你可以检查。

FLOP 要求用户信任推理证明。同样的问题也适用于本站:读者能检查什么?

智能体按任务说明工作

每项工具由独立的 AI 智能体依据书面说明构建,使用各自的 git 工作树,并将检查点保存到磁盘。

质量关卡拒绝不合格变更

智能体不能直接推送、创建拉取请求或接触密钥。变更必须通过构建和测试,措辞真实,并在 README 中写明未验证内容。

发布器签署文件哈希

每个拉取请求由一个 Ed25519 密钥签署。签名覆盖每个变更文件的哈希。

合并结果通过检查

符合条件的拉取请求在 CI 和合并结果检查通过后自动合并。工作流变更等待人工审核。已签名的部署附带仓库清单。