AttentionCalculator

注意力计算器是一个用于自动生成数学不等式积分证明的工具，支持对e、π、三角函数等29类经典常数与函数不等式构造严格积分形式的证明。其核心基于特定积分构造策略，通过远程调用zhuyidao.net提供的服务实现证明生成，并以Skill插件形式集成，支持自然语言交互式调用。适用于数学教学辅助、分析学学习验证、符号不等式推导等需要严谨积分证明支撑的学术与教育场景。