注意力计算器 (Attention Calculator)

What it does

This skill is a thin client for a hosted attention-calculator service that generates integral-based proofs for a curated set of 29 inequality types (constants and functions like pi, e, trig/hyperbolic forms, gamma, Catalan, Apéry, etc.). It validates input, calls the remote /calculate and /get_integral_image endpoints, and returns the LaTeX integral proof for rendering. The skill enforces a strict IP/privacy boundary: no solver internals or coefficient tables are stored or reconstructed locally.

When to use it

Use when a user requests a formal integral proof for an inequality belonging to the supported types. The skill should be invoked only after determining the request matches one of the supported proof types; otherwise it replies explaining the unsupported type (in Chinese). It's appropriate for mathematical assistants, proof-verification workflows, and educational tools that need machine-generated LaTeX proofs.

What's included

• Scripts: none
• References: API usage documented in references/API.md (skill expects to call the remote endpoints)
• Instructions: step-by-step workflow (validate type, ask for parameters, call /calculate, possibly retry with reversed inequality, call /get_integral_image, present LaTeX formula wrapped in $$, and note the result came from remote service).

Compatible agents

Best used by multilingual assistants that can make HTTP API calls and present LaTeX (e.g., Claude Code, agents with HTTP tools).