math-extractor
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
546 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Seamlessly toggle between live and mocked external dependencies using the Model Context Protocol (MCP) for autonomous development environments.
Systematic project technology stack detection, framework-specific skill auto-loading, and multi-stack analysis for fullstack projects like React + Go.
Synchronize English README.md with Chinese README_ZH.md, maintaining content parity and structural consistency for bilingual documentation projects.
Writes, executes, and refines SQL queries, from basic selects to complex multi-table joins, aggregations, and subqueries for data retrieval and reporting.
A scaffolding tool for generating production-ready Model Context Protocol (MCP) servers, including boilerplate, typed handlers, schema definitions, and test stubs for AI agent integrations.
Enforces structured self-assessment checkpoints to validate approach, mitigate risks, and ensure quality before, during, and after task execution.
Monitor Claude Code usage, token consumption, productivity streaks, and skill effectiveness metrics to optimize your development workflow.
Visual design and UI styling guidelines for the Harmonic Orbit music theory application, covering typography, color systems, spacing, animations, and accessibility standards.
Manage your Apple Reminders directly from your terminal. List, add, edit, complete, or delete reminders and lists using remindctl.
Database schema validation, data integrity testing, migration validation, transaction isolation, and query performance testing. Ensure ACID compliance and referential integrity for data-driven applications.
Orchestrates multi-agent development workflows, managing task decomposition, requirement analysis, and quality assurance for complex software projects.