#001AttentionCalculator1 件の skills116112026-05-05 更新クリエイター内の 100%skill職業分類説明更新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.2026-05-05