The Agent Skills Directory

[SAFE]: The skill set serves as a technical documentation hub for mathematical research tools. The provided Python and Lean code examples use well-established scientific computing libraries such as NumPy, SciPy, SymPy, and Scikit-learn.
[EXTERNAL_DOWNLOADS]: The oeis-api skill demonstrates programmatic access to the On-Line Encyclopedia of Integer Sequences via their official public API (oeis.org). This is a standard and expected integration for mathematical sequence identification.
[INDIRECT_PROMPT_INJECTION]: The lean-theorem-proving-guide documents an agent architecture that processes theorem statements as input. While this constitutes an ingestion point for external data, the described system utilizes the Lean 4 formal proof assistant to verify the logical correctness of all generated steps, providing a robust verification layer.
[COMMAND_EXECUTION]: The lean-theorem-proving-guide references the use of a local Lean 4 installation. This is required for the tool's primary purpose of formal verification and is handled through standard tool-specific configuration.

math-skills