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必填