Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Free read-only Base Mainnet transaction Preflight and Verification; no signing or custody.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
适用于网页版、桌面版和手机版 Claude:
https://execution.dll.io/mcp在终端中运行这条命令
claude mcp add --transport http dll-execution https://execution.dll.io/mcp粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"dll-execution": {
"url": "https://execution.dll.io/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"dll-execution": {
"type": "http",
"url": "https://execution.dll.io/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
ChatGPT 只能连接互联网上的服务器:
https://execution.dll.io/mcp菜单名称可能因套餐和版本不同而略有差异。
你的选择通过 Cookie 保存在这台设备上,无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
我们还没有读取这个服务器的工具列表;我们会轮流检查各个端点。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
注册名称已通过 GitHub 账户 dllio 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
尚未检查;我们会轮流检查各个端点
尚未检查;我们会轮流检查各个端点
尚未检查;我们会在检查端点时读取工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。
GitHub 仓库最后更新于–,最新版本(0.1.0)于24天前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Python MCP
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
Local-only Python MCP server for the Files.com API.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
Execution infrastructure for AI agents.
DLL is an independent, read-only Base Mainnet API and remote MCP service. Before signing, simulate an unsigned transaction, inspect call success or revert, and check explicit destination and L2 execution fee constraints. After independent broadcast, verify inclusion, requested receipt status and supported transaction-field expectations. Results include structured Judgment or Verification states, reason codes, evidence and explicit uncertainty; DLL never signs, broadcasts or takes custody.
AI Agents with an unsigned transaction candidate or an already-broadcast transaction hash, and developers integrating those Agents. Before acting, an Agent needs to understand likely failure, known costs, explicit constraints and remaining uncertainty. Afterward, it needs to check observed outcomes against explicit expectations.
POST https://execution.dll.io/v2/execution/preflight
V0.2.1 evaluates one unsigned Base Mainnet transaction candidate and returns read-only simulation, an estimated L2 execution fee, deterministic policy checks, structured judgment and supporting evidence. It is a limited free public trial; no wallet connection, signature or payment is needed for Preflight. Benchmark's separate payment/free-trial rules do not apply to this endpoint.
With complete supported EIP-1559 transaction context, optional fee_estimation returns a separate conditional estimate of L1 data, L2 execution, applicable Operator Fee and Total Network Fee. Missing necessary components keep total unavailable, not zero. The estimate is not realized cost, a future spending guarantee or an automatic PASS.
Agent has an unsigned transaction candidate
→ calls DLL Execution Preflight → receives simulation / cost / policy / judgment / evidence → Agent decides what to do next
| Judgment | Meaning within the evaluated evidence |
|---|---|
PASS | Simulation and applicable checks passed, with no material unresolved issue identified. Not permission to execute. |
CAUTION | Execution may be technically possible, but important uncertainty or incomplete evidence remains. |
BLOCK | Deterministic evidence, such as a simulation revert or explicit constraint rejection, indicates not to proceed with this candidate. |
INDETERMINATE | Available evidence cannot support a reliable judgment. Do not treat it as success or a proven transaction failure. |
Ordinary successful Preflight currently returns CAUTION because legacy cost_estimate L1/total remain unavailable. A complete optional network_fee_estimate does not recompute legacy Judgment or the L2-only cost constraint. None of these states evaluates profitability, investment quality, strategic desirability or financial advice.
POST https://execution.dll.io/v2/execution/verify
Verification V0.1 observes an already-broadcast Base Mainnet transaction and evaluates narrow expectations about its chain, inclusion, receipt status and optional candidate content. It is free and read-only: no signature, wallet connection or payment is required, and DLL need not have performed the original Preflight.
Only transaction_hash is required. The default checks Base inclusion; request receipt_status: "success" explicitly to check receipt success. Read verification.state, not just HTTP status: VERIFIED means the requested checks are satisfied, CONTRADICTED means at least one check is contradicted, and INDETERMINATE means evidence is insufficient. These states do not establish finality, authorization, ownership, causality or profitability.
POST https://execution.dll.io/v1/benchmark/transactions
Benchmark compares observed Base Mainnet transaction costs with historical context. The public path uses SIWX wallet identity and x402 v2 upto USDC: the first three valid analyses per verified wallet are free, then $0.005 per delivered valid analysis. Anonymous nonempty payment quotes do not force free-eligible wallets to pay. A paid N-hash batch quotes a maximum of N × 5000 atomic USDC; actual settlement counts only valid paid items. HTTP 200 can contain unavailable items; inspect completed billing. Historical percentiles are not route recommendations, profitability judgments or future fee guarantees. See the Benchmark guide and bounded SDK client reference.
Start with HTTP or Remote MCP Quickstart: no DLL account, API key, wallet or private repository access. The JavaScript path uses only Node.js built-ins; the remote MCP path uses your existing MCP client. No npm install or AgentKit SDK is required.
This repository explains what DLL does and how to use it. Live OpenAPI, well-known metadata and actual API responses are the canonical public contract. It is not an implementation/source-code mirror.
Documentation checks run offline with node --test test/*.test.mjs: local links, JSON syntax and bounded client safety behavior. They create no real signatures, payments or blockchain requests. Full examples are additionally checked against canonical product schemas during release validation.
Base Mainnet only. Preflight accepts unsigned candidates; Verification accepts already-broadcast transaction hashes. No signing, broadcasting, custody or autonomous execution. DLL does not prove ownership of the supplied from address or authorize a transaction.
Simulation describes observed chain state; it does not guarantee future inclusion, success or application-level outcomes. The default L2-only fee is not total execution cost; optional network fee completeness describes only the supported conditional model. An unavailable fee is unknown, not zero. DLL does not verify net asset changes, comprehensively scan malicious contracts or guarantee Swap economic results. Keep private keys, credentials and other secrets out of requests. The Agent remains responsible for any later action.
Verification checks only the supplied expectations. Included, successful and canonical observations are not finalized-state guarantees. Its realized L2 fee is not total cost; total execution cost currently remains unavailable even if an L1 fee is observed.