$ loading_
用于校验 YAML 形式符号数学证明文件，快速发现证明格式或逻辑问题。
该 MCP 工具描述为本地独立的符号数学证明校验服务，无需密钥且未声明远程端点；整体未见明显高风险红旗，但因会执行本地代码、可能读取本地证明文件，且社区采用度低、维护状态未知，建议按需谨慎使用。
材料明确写明无需密钥或环境变量，未见要求用户提供 API token、账号凭证或其他敏感认证信息，凭证泄露面较低。
未声明任何远程端点 host，描述也仅涉及本地使用 symbolic-math-verify 校验 YAML 证明文件；基于现有材料，未见将用户数据外发到第三方服务的事实依据。
系统检查项标明该工具会执行代码，且其作为 standalone FastMCP server 需在本机运行服务逻辑；这属于 MCP 工具的常规本地执行能力，当前材料未显示越权执行、提权或与声明功能无关的系统权限申请。
其声明功能是校验 YAML 格式的证明文件，因此至少可能读取用户提供的本地文件内容；现有材料未说明会写回文件、批量扫描目录或访问与证明校验无关的数据，暂未见明显过度授权迹象。
正面因素是有公开 GitHub 仓库且采用 GPL-3.0，源码原则上可审计；但来源为 third_party_registry、社区采用度为 0 star、维护状态未知，说明供应链成熟度与持续维护信号偏弱，建议安装前自行审查仓库与依赖。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"symbolic_math_mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请使用 symbolic_math_mcp 校验这个 YAML 符号数学证明文件，并指出所有格式错误、缺失字段或验证失败的步骤。
返回验证结果，并列出具体出错位置、原因及可能的修复方向。
请分析这份证明文件中未通过验证的步骤，按步骤编号说明哪里不符合规则，并给出修改建议。
输出失败步骤清单、对应规则说明，以及逐步修改建议。
请批量校验这些 YAML 证明文件，并汇总每个文件的通过状态、错误数量和最严重问题。
生成按文件汇总的验证报告，便于提交前统一修复问题。
提供多种数学计算工具，帮助模型完成算术、三角、对数等精确运算。