The Agent Skills Directory

[SAFE]: The skill acts as a comprehensive reference for mathematical computing and theorem-proving workflows. No malicious patterns or unauthorized access attempts were detected.- [EXTERNAL_DOWNLOADS]: Fetches integer sequence data from the official On-Line Encyclopedia of Integer Sequences (OEIS) API (oeis.org), which is a standard resource in the mathematics community.- [EXTERNAL_DOWNLOADS]: References the LeanAgent project from the LeanDojo GitHub repository for automated theorem proving. This is a recognized research tool in formal verification.- [SAFE]: Code examples utilize standard mathematical libraries such as SymPy, NumPy, and SciPy for legitimate research computations like integration, matrix decomposition, and optimization.

math-skills