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.
635 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Create, register, and manage custom agent tools and MCP servers to extend AI agent capabilities with external APIs and custom logic.
Manage, search, and extract technical insights from a local paper database. Ideal for developers implementing academic research, verifying code against math, and grounding coding agents in scientific papers.
Pre-execution security guardrails for AI agents. Validates shell commands and file reads against 400+ security patterns to block destructive operations, credential theft, and unauthorized system access.
Transform passive learning content like transcripts and tutorials into actionable Ship-Learn-Next cycles with concrete implementation plans and progress-oriented quests.
A toolkit for writing clear, accessible, and concise content. Applies Plain Language Movement principles including active voice, sentence shortening, and jargon elimination for improved reader comprehension.
Advanced QE reporting, quality dashboards, and predictive analytics for test metrics, code coverage, and deployment readiness to drive data-informed quality decisions.
A comprehensive Python library for querying, parsing, and analyzing SEC EDGAR filings, financial statements, and institutional holdings as structured data objects.
Retrieve real-time library documentation, code examples, and technical guidance using the Context7 API for frameworks like React, FastAPI, and Next.js.
Apply effective software quality consultancy practices. Use when consulting on QA strategy, advising development teams, or establishing sustainable quality workflows.
Implement secure backend authentication (JWT, OAuth, Sessions) and authorization (RBAC, ABAC) patterns, including password hashing, MFA, and security best practices.
Local speech-to-text transcription using the OpenAI Whisper CLI, providing private, high-accuracy audio processing without external API keys.