用途：该技能用于 EVM/Solidity 智能合约审计中的精度与数学漏洞排查，资料建议在每次审计时加载，因为数学问题被视为 DeFi 严重漏洞最常见的来源。
主要能力：覆盖精度损失、舍入误差、除法运算顺序、定点数运算以及数学相关的边界情况。
使用方式：资料提供参考文件 references/checklist.md，其中包含完整的精度与数学检查清单，可在审计过程中对照使用。
适用场景：Solidity 合约审计，尤其是涉及代币计算、利率、份额与价格换算等数值逻辑的 DeFi 项目。
限制：资料未提供具体安装命令、调用方式、支持的平台或版本要求，也未说明收费与效果，这些信息暂未提供。