vscode-tlaplus 修复背后的可复现测量：将 MCP 服务器绑定到回环并公告该地址（节点 20/22，Docker 版本）。https://github.com/tlaplus/vscode-tlaplus/pull/544
概览
关于拟议变更 tlaplus/vscode-tlaplus 的措施：将 TLA+ 扩展的 MCP 服务器绑定到回环。 src/lm/MCPServer.ts 调用 app.listen（port），无需主机。Node 随后绑定未指定地址 ：：，服务于 IPv4 和 IPv6。该套接字响应机器的每个接口，而不仅仅是环回。 POST /mcp 没有认证。传输是用 { sessionIdGenerator： undefined } 构建的，没有其他，所以也没有主机或起源检查。到达端口的初始化程序会被回答。 因此，同一网络上的机器可以无凭证与服务器通信，只要主机防火墙允许。端口默认是开放的：tlaplus.mcp.port 为 0，src/main.ts 读取 0 表示“使用空闲端口”。只有 0 和 1024-65535 之外的值，如 -1，才会阻止服务器启动。提交 c869f2a 的来源：https://github.com/tlaplus/vscode-tlaplus/blob/c869f2a/src/lm/MCPServer.ts. 从档案历史中阅读。
概述（AI 翻译）
*-measurements仓库衡量开源软件的行为，以 选择要测试什么。只有重要的行为才会成为拉力中的测试 请求，这样项目的仓库就不会被大量不必要的测试。
该仓库支持拉取请求 https://github.com/tlaplus/vscode-tlaplus/pull/544.
评论者如何阅读这个仓库
针对你在评论中提出的每个请求：
- 在下表中查找其行， 在“审稿人请求”栏中
- 阅读判决，“成为测试”和“需要代码修复”，这是对 报道
- 阅读争议报告：点击“查看报告”
- 查看补丁在代码中的变化，在
ast-diff/results/ - 检查
patches/中的测试及其结果suite/results/：部分运行，而非所有测试 扩展
每个用例都是独立的。“审核请求”中的“-”表示案例 作者发现。
什么变成了测试，什么需要修复代码
| # | 审核请求 | 用例 | 用例版本 | 变成测试 | 需要代码修复 | 报告 | 所有者检查 |
|---|
本页由 AI 翻译，技术细节请以原文为准。
README
以下为原文 README 节选，完整内容请查看原文。
vscode-tlaplus-mcp-bind-measurements
A
*-measurementsrepository measures how open source software behaves, to choose what to test. Only the behaviors that matter become tests in the pull request, so the project’s repository does not get a lot of unnecessary tests.
This repository supports the pull request https://github.com/tlaplus/vscode-tlaplus/pull/544.
How a reviewer reads this repository
For each request that you made in the review:
- find its row in the table below, in the column “Reviewer request”
- read the decision, “Becomes a test” and “Needs a code fix”, a summary of the report
- read the report of the row: click “see report”
- see what the patch changes in the code, in
ast-diff/results/ - check the tests in
patches/, and their results insuite/results/: a partial run, not all the tests of the extension
Each use case stands alone. A “-” in “Reviewer request” marks a case that the author found.
What becomes a test or needs a code fix
| # | Reviewer request | Use case | Use case version | Becomes a test | Needs a code fix | Report | Owner check |
|---|---|---|---|---|---|---|---|
| 01 | make it a preference, default localhost | the shipped bind answers outside loopback | v1 | y | y | see report | done |
| 02 | bind address as a VS Code setting | a bind fixed to 127.0.0.1 refuses `` and ::1 |
v1 | y | y | see report | done |
| 03 | - | a Host allowlist answers a foreign Host with 403 |
v1 | - | - | see report | done |
安装
This server does not publish a one-line install command.
Open the repository installation guide 新手？先看 mcpskill.org 教程 →