brosnanyuen

symbolic_math_mcp

用于校验 YAML 形式符号数学证明文件，快速发现证明格式或逻辑问题。