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.
464 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
AI-assisted version control for code agents. Track prompts, context, and diffs automatically with MemoV to ensure full traceability without polluting your git history.
Generate structured development plans, checklists, and file contexts compatible with the IntelliJ coding-aider plugin.
Summon framework expert: assisting with Kotlin Multiplatform UI development, type-safe modifiers, state management, routing, and SSR for web and JVM applications.
Automated code quality validation tool for pre-commit and pre-deploy checks, covering TypeScript, builds, and linting.
Standardizes project context by managing artifacts (product, tech-stack, workflow, tracks) in a conductor/ directory. Supports project scaffolding, artifact synchronization, and AI alignment for greenfield and brownfield projects.
A powerful CLI tool for image compression and conversion, supporting batch processing, multiple engines (mozjpeg, pngquant, sharp, etc.), format conversion (WebP, AVIF), and recursive directory optimization.
Headless web search and content extraction using Brave Search API. Perform documentation lookups, factual research, and web data retrieval without a browser.
Review Hyperlane documentation changes against project standards, ensuring compliance with architectural patterns and content guidelines.
Guide for creating properly structured YAML configuration files for MassGen. Use this when creating new configs for examples, case studies, testing, or feature demonstrations.
A structured file-based system for tracking todos, managing technical debt, and coordinating code review workflows directly within your repository.
Create professional logos using AI. Generate, refine, crop, remove backgrounds, and export as SVG. Perfect for brands, mascots, icons, and emblems.