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.
482 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Your AI chief of staff for startups. Includes 28 commands for idea validation, financial modeling, pitch decks, market research, and CEO operational frameworks from industry benchmarks.
Repository implementation guide for local-skills-mcp. Provides technical documentation on MCP tool handlers, skill loading, aggregation logic, and project structure for developers.
Token-efficient CLI for browser automation, web testing, and agentic workflows using Playwright.
Comprehensive ASO toolkit for App Store & Google Play. Master keyword research, metadata optimization, competitor tracking, review analysis, and performance benchmarking for mobile app growth.
Create professional logos using AI. Generate, refine, crop, remove backgrounds, and export as SVG. Perfect for brands, mascots, icons, and emblems.
Automated, non-destructive proofreading for LaTeX and Quarto lecture files, generating quality reports for grammar, typos, and academic style.
Research React APIs, patterns, and concepts using authoritative source code, tests, and repository history.
A friendly welcome skill that displays system OS details in ASCII art when triggered by casual greetings like 'hello' or 'hi'.
Generate professional visual assets including app icons, logos, banners, and illustrations using the Nano Banana Pro (Gemini 3 Pro) AI model.
An automated meta-learning skill that improves agent workflows by capturing patterns, failures, and shortcuts after each task execution.
Delegates coding tasks to the OpenAI Codex CLI for features, refactoring, PR reviews, and automated issue fixing within Git repositories.