$ loading_
帮助开发者编译、插桩并分析数值代码中的浮点精度与稳定性问题
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Verificarlo MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请使用 Verificarlo MCP Server 对这个数值计算项目进行编译与插桩，运行后分析哪些函数和代码段对浮点误差最敏感，并给出可能原因与优化建议。
一份误差敏感点分析报告，包含高风险函数、误差来源解释和改进建议。
请用 Verificarlo MCP Server 分别在不同编译选项下构建并测试这段科学计算代码，比较各版本结果波动、稳定性差异，并总结哪种配置更可靠。
一份对比结果，展示不同构建配置下的数值波动、稳定性结论与推荐方案。
请借助 Verificarlo MCP Server 对该模拟程序执行数值不确定性分析，说明输出结果受浮点舍入影响的程度，并指出是否需要调整算法或精度策略。
一份不确定性分析摘要，说明结果可信度、受影响程度以及后续调整建议。
帮助用户在安装前核验 MCP 工具可信度并评估工具栈风险。