项目简介
- Quint Code MCP 服务器是一个通过标准 JSON-RPC 与客户端通信的后端服务，核心职责包括托管和管理资源（如知识 holon、证据与关系）、注册与执行工具、以及渲染/提供与推理工作流相关的提示与流程。
- 通过一个命令行入口执行（serve 子命令），从标准输入读取 JSON-RPC 请求并输出响应到标准输出，方便与运行在同一进程中的 LLM 客户端对接。
主要功能点（简明扼要）
- MCP 请求处理：实现 initialize、tools/list、tools/call 等核心方法，遵循 JSON-RPC 2.0 风格的请求/响应格式。
- 资源与数据管理：使用本地 SQLite 数据库存储 holons、证据、关系、审核日志等结构化数据，提供 CRUD 与查询接口。
- 工具注册与执行：通过 tools/list 提供可调用工具清单，通过 tools/call 调用具体工具（如 quint_status、quint_init、quint_propose、quint_verify、quint_audit、quint_decide 等），并返回执行结果。
- 提示与工作流支撑：工具集合覆盖从初始提案、验证、评估到最终决策的多阶段工作流，结合 FPF（First Principles Framework）实现可追溯的推理过程。
- 会话与状态管理：FSM（状态机）管理当前推理阶段、参与角色、以及最近提交等信息，状态可持久化到数据库，便于多轮会话协作。
- 传输与扩展性：以标准输入/输出实现 JSON-RPC，便于与多种本地或远程客户端的集成，同时具备扩展工具与状态的能力。
安装与运行步骤（简明操作）
- 确保本机已安装 Go 语言运行环境。
- 进入源码中的 src/mcp 目录，执行 go build 生成可执行文件，例如 quint-code。
- 运行 serve 服务（以当前项目根目录为工作目录时）：
  - quint-code serve
- 服务启动后，LLM 客户端通过 MCP 协议向服务器发送 JSON-RPC 请求，服务器按规约返回响应。
MCP 服务器配置（示例配置，供客户端理解参数含义）
- 服务器名称（server name）：quint-code
- 启动命令（command）：quint-code
- 启动参数（args）：["serve"]
- 工作目录（cwd）：项目根目录（例如：/path/to/your/project）
- 环境变量（env）：{ "QUINT_PROJECT_ROOT": "<项目根目录>" }
- 超时设置（timeout，单位 ms）：30000
- 整体示例配置（JSON 结构，供 MCP 客户端读取配置用注释性描述）： { "serverName": "quint-code", "command": "quint-code", "args": ["serve"], "cwd": "<项目根目录>", "env": { "QUINT_PROJECT_ROOT": "<项目根目录>" }, "timeout": 30000 }
- 注释说明
  - serverName 与配置中的键名要与客户端对接时识别的名称一致，表示该 MCP 服务器的唯一标识。
  - command 与 args 指定如何启动服务器进程，客户端在建立连接时会调用该命令及参数来启动 MCP 服务。
基本使用方法
- 启动后，LLM 客户端通过 JSON-RPC 向服务器发送请求，例如：
  - initialize：获取服务器能力信息
  - tools/list：获取服务器支持的工具清单
  - tools/call：执行具体的工具（传入名称与参数）
- 工具调用后服务器返回执行结果或错误信息，客户端据此进行下一步推理与决策。
- 通过 fenn FP Flow 的工具集，开发者可以在本地组合资源与工具来实现完整的推理与决策流程，并且能够审计过程与证据链。

关键词

信息