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.
491 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Audit and optimize your AI prompts with Token Surgeon. Detect 10 common waste patterns, calculate efficiency, and reduce token usage for better prompt performance.
Master professional TDD with the London (mockist) and Chicago (classicist) schools. Automate test-first workflows, style selection, and refactoring with AI agents.
Standardized Java development guidelines including naming conventions, exception handling, Spring Boot best practices, and concurrency patterns.
Creates isolated git worktrees for parallel development, automatically handling directory selection, .gitignore safety checks, dependency installation, and baseline test verification.
Language-agnostic debugging framework: scientific method, stack trace analysis, logging strategies, and advanced techniques like Git bisect and rubber ducking.
Migrate existing OpenAI Apps SDK applications to the MCP Apps SDK, including step-by-step guidance, API mapping tables, and CSP investigation workflows.
Search codebases efficiently using ripgrep for lightning-fast text patterns and ast-grep for precise, syntax-aware structural code analysis.
Validates cryptographic implementations using the Google Wycheproof test vector suite to detect security edge cases and known vulnerabilities.
Perform comprehensive code reviews and generate QA test plans for Storyblok projects, ensuring quality, security, and adherence to best practices.
Structured, template-driven workflow for end-to-end feature development including coding, automated testing, verification, and session-based improvement.
Senior backend architecture expert specializing in Hexagonal Architecture, DDD, SOLID principles, clean code, and refactoring to guide development, reviews, and architectural problem-solving.