Research
math-extractor avatar

math-extractor

Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.

Installation

Agent type

Claude Code

Install Command (macOS)
curl -fsSL "https://mentalok.io/api/v1/skills/math-extractor/install?os=mac&agent=claude" | bash
Install Command (Windows)
curl -L "https://mentalok.io/api/v1/skills/math-extractor/install?os=windows&agent=claude" -o install-math-extractor.bat && install-math-extractor.bat

Download Skill Project

/agent-skill/math-extractor