Settlement Engine

io.github.jdhart81由 GitHub 账号 jdhart81 发布v0.1.0更新于 Nov 11, 2026

Progressive settlement for outcome-based capital: what is decided, what the remainder must do.

发布方自己的服务：Energyai

已验证Streamable HTTP可网页运行金融数据与分析商业与电商

服务详情

标识符: io.github.jdhart81/settlement-engine
传输: Streamable HTTP
运行时: Web executable
信任: Verified
发布于: Nov 11, 2026

安全提示

MCP 服务会接收对话中的工具调用请求，并可能执行外部操作。启用前请先了解该服务能做什么，并只授予它所需的权限。

注册中心已验证此条目所属的 GitHub 账号 jdhart81。这并不表明该账号就是产品方。

SourceWeft 的检查只涵盖条目是否完整、端点是否响应；不审查服务器的代码，也不审查其工具的行为。

在 README 中添加徽章

向读者展示该 MCP 服务已收录于 SourceWeft，徽章链接到本页。

[![Listed on SourceWeft](https://sourceweft.com/badge/mcp/io.github.jdhart81%2Fsettlement-engine.svg)](https://sourceweft.com/mcp/io.github.jdhart81%2Fsettlement-engine?utm_source=readme&utm_medium=badge)

概览

AI 生成的概览

依据公开发布的数据序列结算结果型合约，说明哪些已可判定、剩余观测必须达到什么。

可以做什么: 注册序列并追加带来源链接与哈希的观测，重复提交会记为修订
查看周期状态、剩余槽位所需均值或总和，以及仅凭算术即可判定的行权价
编译内容寻址的结果合约，包含行权价、结算规则与截止时间
按明确时间结算为 YES、NO 或 UNDECIDED，并可从存储证据重算验证结算
列出序列、用通俗语言解释序列，并说明该代理的动作、不变量与限制
适用场景: 适合需要跟踪逐步发布的数据序列（电价、计票、存活率、冠层、土壤碳），并判断某笔拨款、按成果付费协议或类似合约是否已可判定、或剩余数据必须呈现何种结果时使用。
运行要求: 远程 streamable HTTP 端点；未声明认证、环境变量或请求头。文档说明免费额度为每项服务每天 10 次调用，部分工具标注为付费。核心代码开源，也可用 Python 自行托管。

安装前请注意

compile_contract 与 settle_contract 两个工具标注为付费，调用可能产生费用。写入观测会改动账本，重复提交同一槽位会替换数值（但会记录修订）。结算一旦生成即不可更改。托管服务层（含支付与客户数据）为专有，不在开源仓库中。

安装

在 SourceWeft 中

打开控制台中的 Settlement Engine，将其添加到工作区。
为需要使用其工具的对话启用该服务。

Web executable，通过 Streamable HTTP。远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体，或 SourceWeft 对话中。智能体会读取该服务器的安装指南，先向你展示发布者、端点和登录方式，经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/io.github.jdhart81%2Fsettlement-engine/install.md，并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前，先告诉我它的发布者、端点和登录方式，等我确认。不要把 API 密钥写进命令或我会提交的文件；问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

{
  "mcpServers": {
    "settlement-engine": {
      "type": "http",
      "url": "https://mcp.viridisconservation.com/settlement-engine/mcp"
    }
  }
}

README

Viridis Agent Fleet: open-source agents for the agent economy

Deterministic, auditable MCP agents: trust and settlement rails (identity, trust, escrow, metering, arbitration, notary, surety, provenance, covenant, offsets, compute-ledger), a free conservation-valuation rail (eco-funding: ecological complexity with re-runnable receipts), and priced-grade services (tax credits, GHG accounting, construction takeoff, measurement, compliance). Every core is pure Python with no LLM in the serving path, and every result is content-addressed so anyone can re-verify it.

Licensed Apache-2.0. Run any agent yourself, fork it, embed it.

Run an agent locally (free, forever)

bash

pip install -r requirements-dev.txtpython3 agent-escrow-agent/adapters/mcp_server.py          # stdio MCPpython3 run_fleet_tests.py                                 # every agent's invariant tests

pip install -r requirements-dev.txtpython3 agent-escrow-agent/adapters/mcp_server.py          # stdio MCPpython3 run_fleet_tests.py                                 # every agent's invariant tests

Or use the hosted fleet

https://mcp.viridisconservation.com runs all agents as one managed MCP service:

	Self-hosted (this repo)	Hosted by Viridis
Agent logic & verification	✅ identical	✅ identical
Viridis-signed receipts & notary chain	–	✅
Shared trust/reputation network data	–	✅
Maintained rule packs (tax, GHG factors, regs)	snapshot	✅ kept current
Payments (x402, card), seats, SLA	–	✅

Free tier: 10 calls/day per service; the rails (identity, escrow, metering…) are free forever. Verification is always free.

Registry servers with their own docs

Each registered MCP server has a README with its tools, inputs and outputs, an example, client config and pricing:

Registry name	Remote endpoint	Docs
`io.github.jdhart81/security-preflight`	`https://mcp.viridis-security.com/security-preflight/mcp`	security-preflight-agent/README.md
`io.github.jdhart81/regulatory-radar`	`https://mcp.viridisconservation.com/regulatory-radar/mcp`	regulatory-radar-agent/README.md
`io.github.jdhart81/ghg-ledger`	`https://mcp.viridisconservation.com/ghg-ledger/mcp`	ghg-ledger-agent/README.md

Connecting any hosted server (Claude, ChatGPT, VS Code, APIs), payments and ownership: docs/HOSTED_MCP.md.

For agents

Agents and LLM tools can start from llms.txt, a generated index of every agent, and AGENTS.md, the rules for using and changing the fleet.

Part of the Viridis open-source commons

Building agents for conservation or energy work? VergeCommon and EnergyAI MCP also expose MCP tools, and ViridisOS serves its decision functions to agents over MCP.

This project is one of a connected set of open tools from Viridis. Each stands on its own; together they run from field evidence to checked decisions.

Conservation commons

VergeCommon: community conservation co-ops with consent-based land mapping, field evidence and group decisions
Dendritic Forest Management (DFM): compare forest-retention options around roads and waterways, with traceable inputs and portable reports
Global Soil Intelligence Project (GSIP): contribute soil observations and explore open soil maps with explicit uncertainty

Verifiable science

Viridis Canon: machine-checked Lean 4 mathematics for ecological decisions, with a DOI for every result
ViridisOS: open reference runtime for DOI-backed decision modules and recomputable results
Viridis Research: the nightly public research record, each claim labeled by what a verifier actually checked
ProofLens: see what a Lean statement means before reading the proof

Agent tools

Viridis Agent Fleet (this repository): open-source MCP agents with deterministic, auditable cores
EnergyAI MCP: energy-planning estimates and incentive sources for AI agents

Browse every project on the Viridis profile. If this one is useful to you, a star helps other people find it.

Boundary

This repo contains agent cores, MCP adapters, tests, standards and self-host tooling. The hosted service layer (gateway, payment and settlement, seats, signing authority, operations, telemetry and customer data) is proprietary and is not in this repo. Please don't open PRs that add it.

"Viridis", "Viridis Conservation" and the Viridis marks are trademarks of Viridis LLC; see TRADEMARKS.md.

来源：README.md，提交 eb9e05d

工具

register_series

FREE: declare a progressively published series. aggregate: mean (prices), sum (totals), share (survival/success 0/1 per slot), last (closing value). n_expected: number of observation slots in the period. value_min/value_max: the physical bounds of one observation; without them nothing is decided until the period is complete (S5).

输入参数metaname必填unit必填source必填strikesaggregate必填value_maxvalue_minn_expected必填period_end必填period_start必填

ingest

Ingest

FREE: append observations [{slot, value, source_url, source_sha256 (64 hex of the source document), observed_at}]. A re-posted slot replaces the value and is logged as a revision (S7). Each observation is hashed (S4).

输入参数series_id必填observations必填

period_status

Period status

FREE: published share, published aggregate, remaining slots, and per strike the required remainder, the decided flag (arithmetic + declared bounds only) and a labelled model estimate kept separate from the facts (S1).

输入参数series_id必填

required_remainder

Required remainder

FREE: what the remaining slots must average / sum to / hit for the aggregate to reach the strike, plus decided.

输入参数strike必填series_id必填

decided_strikes

Decided strikes

FREE: every strike across registered series that is decided by the published part alone.

无需输入参数。

explain

Explain

FREE: deterministic plain-language reading of a series (no LLM in the serving path).

输入参数series_id必填

list_series

List series

FREE: registered series cards.

无需输入参数。

compile_contract

Compile contract

PAID: compile a Verified Outcome Contract v0 — a series, a strike, a settlement rule (above | at_or_above | below | at_or_below) and a closing time, content-addressed; the contract_id is the sha256 of its canonical form.

输入参数rule必填termsstrike必填partiescloses_at必填series_id必填

get_contract

Get contract

FREE: a compiled contract and its settlement ids.

输入参数contract_id必填

settle_contract

Settle contract

PAID: evaluate a contract against the ledger at an explicit time: YES / NO / UNDECIDED with the exact arithmetic and every observation hash used. A decided strike settles before closure; an incomplete, undecided series at closure is UNDECIDED, never a guess (S10). Settlements are immutable and recomputable (S8).

输入参数now必填contract_id必填