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.
488 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Decision framework for choosing between MCP tools and direct API skills to optimize agent performance, cost, and efficiency.
Facilitate structured product discovery with Opportunity Solution Trees, assumption mapping, and hypothesis-driven experimentation to de-risk product development.
Translate research papers (markdown) while preserving LaTeX formulas, code blocks, and images, with support for batch processing, retries, and portable bundles.
Search, locate, and retrieve academic papers across arXiv, PubMed, IEEE, Scopus, ACM, and Semantic Scholar.
Language-agnostic backend architectural patterns covering API design, authentication, security protocols, and database modeling.
Development guide for lemline-core, the stateless Serverless Workflow engine. Manage workflow execution, node navigation, state transitions, JQ expression evaluation, error handling, and parallel fork logic.
Structured 6-phase workflow for planning and implementing features, skills, and architectural changes with automated tool discovery and safety verification.
Generate optimized SQL queries from natural language. Supports BigQuery, PostgreSQL, MySQL, and Snowflake. Analyze database schemas, interpret business requirements, and output ready-to-run queries with explanations.
Retrieves Apple platform documentation, Human Interface Guidelines, and WWDC transcripts as Markdown using the Sosumi service.
Manage database orchestration sessions, state snapshots, and system-level operations for the BAZINGA-DB core engine.
Perform comprehensive code reviews with a focus on security vulnerabilities, performance optimization, maintainability, and code correctness.