mcpField
L
Leghis-smart-thinking

Leghis-smart-thinking

远程服务
github.com/LeghisAI 与智能体336 周前更新
代码仓库

关于 Leghis-smart-thinking

Leghis-smart-thinking 是一个 MCP 服务包,让 AI 助手通过托管服务核验计算、查找依据段落和测试代码。适合希望使用核验工具、但不想安装引擎或数据库的用户。

主要功能

  1. 01精确算术核验
  2. 02查找来源段落及上下文
  3. 03在隔离沙箱中运行获准的测试
  4. 04托管核验引擎;公共访问无需个人令牌

适用场景

  1. 01重新计算折扣、食谱用量或报价
  2. 02检查陈述的来源及上下文
  3. 03针对代码变更运行测试

MCP 相关

该包提供 MCP 客户端,将助手连接到托管核验服务。服务提供计算、来源搜索和代码测试工具。

配置

远程服务无需本地安装。选择你使用的客户端,复制配置或使用一键安装。

服务地址https://server.smithery.ai/@Leghis/smart-thinking/mcp
一键复制安装命令
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

命令在终端中运行;JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

全部服务地址
Streamable HTTPhttps://server.smithery.ai/@Leghis/smart-thinking/mcp需要授权

工具

详细介绍

Smart-Thinking

帮助你的 AI 检查工作。

Smart-Thinking 将你常用的 AI 助手连接到用于检查计算、查找佐证段落和测试代码的工具。用日常语言提出请求;你的助手会准备检查并说明结果。

此软件包是轻量级 MCP 客户端。MCP 是助手用来连接工具的协议。检查引擎运行在托管服务上。你无需安装数据库、运行引擎,也无需为公共访问提供个人令牌。

你可以做什么?

  • 检查数字。 使用精确计算重新计算折扣、按比例调整食谱或比较完整报价。
  • 检查来源。 找出某条陈述所依据的段落,并查看其日期、上下文和出处。
  • 检查代码变更。 在隔离环境中运行获准的测试,并查看实际测试了哪些文件。后续变更需要重新检查。

连接你的助手

你需要 Node.js 22.16 或更高版本以及互联网访问权限。对于支持 mcpServers 配置的助手,请添加:

{
  "mcpServers": {
    "smart-thinking": {
      "command": "npx",
      "args": ["-y", "[email protected]"]
    }
  }
}

保存配置,并在助手中重新加载 MCP 连接。VS Code 使用不同的格式。 请参阅针对 Codex、Claude、Cursor、VS Code 或直接 HTTP 访问的应用专属连接指南。

要从终端诊断连接:

npx -y [email protected] --doctor --allow-network

诊断会检查连接状态和工具发现情况。提供方的可用性会单独报告。

试试这三个请求

  1. “使用 Smart-Thinking 检查 €80 减去 20%,再在折后价格上加收 15% 的费用。请说明步骤。”预期总额:€73.60。
  2. “使用 Smart-Thinking,将四人份的 250 g 面粉按比例调整为十人份。”预期用量:625 g。
  3. “使用 Smart-Thinking 排列这些步骤:先起草,再审核,最后发布。”预期顺序:起草 → 审核 → 发布。

有关来源和代码,请参阅十八个详解示例。

数据与限制

请求会发送到托管服务。搜索和语义检查可能使用外部提供方;提交的代码文件会在独立沙箱中运行。客户端不会扫描你的磁盘。档案和结果会存储在服务器端。请对匿名档案标识符保密:它们包含访问权限。

公共访问共用配额。精确计算会检查提供的表达式;测试通过仅表示已执行的测试套件通过。模型评审仍可能出错。代码评审针对范围明确、表述清晰的要求设有内部资格认证。只要其证据和资格认证仍然有效,它就可以涵盖所声明的语义评审。这并非外部认证,也不保证正确性。

请阅读数据与信任指南、文档和评测。网站提供法语和英语版本。

MIT 许可证。源代码和问题跟踪。

评论

支持 Markdown

第一次接触 MCP?

从协议是什么,到在客户端里装上第一个服务,这几条回答覆盖了大多数入门问题。

一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。