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.
634 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
High-performance document intelligence library for extracting text, tables, code, and metadata from 91+ file formats, with OCR and LLM-ready output.
Interactive guide for workspace discovery, providing access to specialist agents, automated workflows, CLI tools, and active lifecycle hooks.
Build distinctive, high-end React Native Expo interfaces using liquid glass design and iOS Human Interface Guidelines for production-grade mobile apps.
Accelerate task retrieval with a high-performance, debounced search engine supporting multi-token AND logic, relevance ranking, and real-time text highlighting across task titles, descriptions, and tags.
AI-powered LinkedIn post generator for professionals. Create engaging thought leadership, career updates, and industry-specific content using the Sloan agent.
Master design system architecture: implement design tokens, multi-brand theming, component libraries, and automated design-to-code pipelines for scalable UI foundations.
Adapt existing skills to your unique workflow, or create new ones for repetitive, time-consuming tasks.
A CLI tool that automates the discovery and symlinking of agent skills distributed via npm packages, simplifying integration for AI-powered coding agents.
Anthropic Claude integration patterns: streaming, RAG with pgvector, tool use, model selection (Haiku/Sonnet/Opus), prompt caching, and cost management for AI-powered engineering.
Provides data-driven trading strategies for cryptocurrencies using Binance market data, technical analysis indicators, and aggregated crypto market sentiment.
Designs and implements professional, interactive filtering UX for data tables based on column data types.