Calculateur d'Attention (Attention Calculator)

Ce qu'il fait

Cette compétence est un client léger pour un service de calculateur d'attention hébergé qui génère des preuves basées sur des intégrales pour un ensemble sélectionné de 29 types d'inégalités (constantes et fonctions telles que pi, e, formes trigonométriques/hyperboliques, gamma, Catalan, Apéry, etc.). Elle valide l'entrée, appelle les points de terminaison distants /calculate et /get_integral_image, et retourne la preuve d'intégrale en LaTeX pour le rendu. La compétence impose une frontière stricte de confidentialité/IP : aucun interne de solveur ni table de coefficients n'est stocké ou reconstruit localement.

Quand l'utiliser

Utilisez-la lorsqu'un utilisateur demande une preuve d'intégrale formelle pour une inégalité appartenant aux types supportés. La compétence ne doit être invoquée qu'après avoir déterminé que la demande correspond à l'un des types de preuves supportés ; sinon, elle répond en expliquant le type non supporté (en chinois). Elle convient aux assistants mathématiques, aux flux de vérification de preuves et aux outils éducatifs nécessitant des preuves LaTeX générées par machine.

Ce qui est inclus

• Scripts : aucun
• Références : utilisation de l'API documentée dans references/API.md (la compétence s'attend à appeler les points de terminaison distants)
• Instructions : flux de travail étape par étape (valider le type, demander les paramètres, appeler /calculate, éventuellement réessayer avec l'inégalité inversée, appeler /get_integral_image, présenter la formule LaTeX entourée de $$, et noter que le résultat provient du service distant).

Agents compatibles

Idéalement utilisée par des assistants multilingues capables d'effectuer des appels d'API HTTP et de présenter du LaTeX (par exemple, Claude Code, agents avec outils HTTP).