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.
510 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Unified local ML inference server for ASR, TTS, Translation, Image Generation, and Vision on Apple Silicon, powered by MLX.
Automated CI/CD incident response, failure analysis, and remediation for GitHub Actions pipelines. Resolves build and test failures with safety guardrails.
Generate a Startup Canvas combining Product Strategy (9 sections) and a Business Model for new products. A strategic framework designed to separate vision from execution to ensure product success.
Create a hypothesis-based proto-persona using research, market signals, and team insights to align product teams before full validation.
Neural web search and code context retrieval via Exa AI. Ideal for documentation, technical research, code examples, and company intelligence.
Audit Packmind documentation by cross-referencing MDX files against the codebase to detect broken links, outdated CLI references, and missing coverage.
Official Mastra framework guide. Master AI agent and workflow development with local documentation lookup, API verification, and TypeScript-based project management.
Provides resiliency, health monitoring, and fault tolerance utilities for NVIDIA GPU-accelerated distributed applications, including process management and API key handling.
Build RAG systems to ground LLMs in proprietary data. Includes vector database integration, embedding strategies, hybrid search, and advanced retrieval patterns for FastAPI backends.
Expert guidance for designing and implementing high-quality tool schemas and descriptions for Julia's agent systems, ensuring reliable tool execution and reducing model hallucinations.
Build, audit, and iterate high-converting landing pages using React, Vite, TypeScript, Tailwind, and shadcn/ui. Expert in CRO, hero structures, and conversion-focused design with Iconify icons.