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.
525 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Home Assistant OS (HAOS) operations skill for agents. Features read-only diagnostics, automation design, health auditing, and safety-first configuration management.
Official evaluation framework for AI agent sessions, implementing Evaluation-Driven Development (EDD) principles to ensure reliability.
Convert markdown PRDs into structured prd.json files for the Ralph autonomous AI agent system to enable repeatable, context-aware software development.
Read and navigate external documentation efficiently using llms.txt, MCP search, and smart parsing strategies.
Manage Neovim configurations, plugin ecosystems, and custom reproducible builds.
Automates the release process by creating a pull request from main to production with automated semantic versioning calculations.
Fetches Confluence PRDs and transforms them into structured local Markdown for the spec-kit specify workflow, bridging PO handoffs into technical SDD implementation.
Automatically fetch YouTube transcripts, generate structured content summaries, and deliver them to messaging platforms with metadata and key insights.
A professional workflow and component library for industrial-grade UI design using Pencil MCP, featuring standardized tokens for color, typography, spacing, and shadows.
Analyze C++ code for real-time safety violations including heap allocations, locks, blocking calls, and non-deterministic operations in high-performance audio threads.
Generate Bilibili-compatible video chapter lists from SRT subtitle files with strict format validation.