math-reasoning
Audited by Runlayer on Feb 22, 2026
Malicious tool definition detected
Tool: SKILL.md Description: --- name: math-reasoning description: Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation.
Malicious tool definition detected
Tool: references/notation-guide.md Description: # Standard Mathematical Notation for ML/AI Papers ## Spaces and Sets | Concept | Notation | LaTeX | |---------|----------|-------| | Real numbers | ℝ | `\mathbb{R}` | | Natural numbers | ℕ | `\mathbb{N}` | | Integers | ℤ | `\mathbb{Z}` | | d-dimensional reals | ℝ^d | `\mathbb{R}^d` | | Input space | 𝒳 | `\mathcal{X}` | | Output/label space | 𝒴 | `\mathcal{Y}` | | Hypothesis space | 𝒫 | `\mathcal{H}` | | Parameter space | Θ | `\Theta` | | Dataset |
Malicious tool definition detected
Tool: references/proof-templates.md Description: # Proof Templates for Research Papers ## Theorem Environment ```latex \begin{theorem}[Name] \label{thm:name} Let $f: \mathcal{X} \to \mathcal{Y}$ be a continuous function. Then ...