AttentionCalculator

Run `npx skills add lianghuatiaojiushi/AttentionCalculator --all -g -y` in your terminal to install this skill globally.

It supports 29 proof types covering pi, e, logarithms, trigonometric and hyperbolic functions, plus constants like Euler's gamma, Catalan's constant, Apéry's constant, and the golden ratio.

It sends your inequality parameters to the hosted zhuyidao.net service, which returns a LaTeX integral proof showing the difference is a non-negative integral.

No. It is a thin client that must call the remote service API, so an internet connection is required to generate proofs.

Yes. Just ask in plain language, such as proving pi > 3, and the skill handles parameter formatting and returns the finished proof.