← 返回首页

"形式化建模"标签的搜索结果

找到 1 个结果

FRM-MCP 服务器(Formal Reasoning Mode)

基于 Model Context Protocol 的 FRM 后端实现,作为 FRM Desktop 应用的一部分,提供 MCP 服务端能力:注册并执行 FRM 的工具、托管与访问资源、渲染与提供 Prompt 模板等,并通过 JSON-RPC 与客户端通信。当前实现将 MCP 服务运行在 Electron 的主进程中,使用 InMemoryTransport 进行本地通信,适合作为本地集成的 MCP 服务端示例。