FRM-MCP 服务器（Formal Reasoning Mode）

关键词

模型上下文JSON-RPC工具集成形式化建模桌面应用

使用说明（Markdown 格式）：

  • 项目简介
    • FRM-MCP 服务器是一个在 FRM Desktop 应用中运行的后端组件，负责按照 Model Context Protocol 提供对资源、工具和 Prompt 的访问能力，并通过 JSON-RPC 与 MCP 客户端通信。
  • 主要功能点
    • 注册并提供 FRM 相关工具（如 validate_frm、submit_frm_case），供 MCP 客户端远程调用。
    • 通过 InMemoryTransport 实现本地 MCP 通信通道，便于在桌面应用内进行模型上下文交互。
    • 集成对 FRM JSON Schema 的校验，确保生成的数据符合 FRM 规范。
    • 提供对 OpenAI/Google/Anthropic 等后端 AI 的对接能力（用于示例性数据生成与评测），以及对 MCP 流控和连接状态的跟踪。
    • 会话管理与连接状态监控，支持多种传输场景（当前在本地实现，便于开发与调试）。
  • 安装步骤
      1. 克隆仓库并进入项目目录
      1. 安装依赖：npm install
      1. 启动 FRM Desktop（MCP 服务随桌面应用一起启动）
      1. 等待应用加载完成并显示主窗口，MCP 服务即已就绪对外调用
  • 服务器配置（用于 MCP 客户端对接的 JSON 配置示例，描述性注释，非代码）
    • { "server_name": "frm-mcp-server", "command": "electron", "args": ["."], "notes": "该配置用于在 FRM Desktop 中启动并初始化 MCP 服务端。当前实现通过 Electron 主进程启动并在应用内建立 MCP 通信通道(InMemoryTransport)。若要与外部 MCP 客户端对接，需要将传输层替换为网络传输（如 WebSocket/STDIO），并暴露公开端口。" }
  • 基本使用方法
    • 启动 FRM Desktop 应用后，MCP 服务会自动启动并对外提供工具调用入口。MCP 客户端可以通过 JSON-RPC 调用 registerTool/调用工具等接口，获取 FRM 文档的资源、模型和提示模板等上下文信息。若要进行 schema 校验或数据提交，请先通过 MCP 客户端调用 validate_frm，再调用 submit_frm_case。

服务器信息

访问项目