attention-calculator

Use the remote 注意力计算器 service to generate integral proofs for inequalities between supported constants/functions and rational numbers. The skill is a thin client only: it must call the server API and must never contain or reconstruct coefficient tables, proof-search tables, or solver logic.