symbolic_math_mcp

请使用 symbolic_math_mcp 校验这个 YAML 符号数学证明文件，并指出所有格式错误、缺失字段或验证失败的步骤。

返回验证结果，并列出具体出错位置、原因及可能的修复方向。

请分析这份证明文件中未通过验证的步骤，按步骤编号说明哪里不符合规则，并给出修改建议。

输出失败步骤清单、对应规则说明，以及逐步修改建议。

请批量校验这些 YAML 证明文件，并汇总每个文件的通过状态、错误数量和最严重问题。

生成按文件汇总的验证报告，便于提交前统一修复问题。