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.
334 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Send WhatsApp messages to third parties, sync history, and search conversations via command line.
Comprehensive SEO and GEO optimization suite. Use to analyze domains, find keyword gaps, research backlinks, and generate autocomplete search suggestions using DataForSEO.
Map the attack surface of smart contract codebases by identifying and categorizing state-changing entry points.
A structured PRD generator for vibe-coding MVPs. It guides you through defining product requirements, target audiences, and success metrics, ensuring a clear foundation for your development workflow.
Generates a random lucky number between 0 and 9999 for games, decision-making, or entertainment.
Proven patterns for extracting, caching, and processing analytics data from GA4 and GSC using MCP servers.
Automated LinkedIn lead generation for tech services. Identifies non-tech founders, performs website gap analysis, and generates professional PDF audit reports for high-value B2B outreach.
Automates research resource preparation by loading instances, searching GitHub for codebases, building dataset descriptions, and downloading arXiv papers.
Implementation and maintenance guide for the atopile Language Server (LSP), providing IDE features like autocomplete and diagnostics for electronics design.
Provides data-driven trading strategies for cryptocurrencies using Binance market data, technical analysis indicators, and aggregated crypto market sentiment.
A unified interface for integrating and managing LLM chat providers like OpenAI, Anthropic, Google, Azure, and Bedrock within LangChain applications.