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.
157 skills found
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
Resume a paused experimental loop by restoring branch context, loading configuration, reading history, and identifying optimization patterns for continued iteration.
Create and manage recurring tasks and one-off reminders using natural time inputs or cron expressions to keep your AI assistant organized.
Generate professional Product Requirements Documents (PRD) and structure features for autonomous development cycles.
Method-driven planning workflow that intelligently decomposes tasks into structured plan.md files using zen-mcp tools, adapting to user clarity and automation needs.
Agent assignment matrix, blocker escalation, and TDM coordination patterns for multi-agent software workflows.
Automated OSINT reconnaissance agent for mapping external attack surfaces, identifying assets, and uncovering security vulnerabilities.
A structured personal operating system for managing digital presence, knowledge, relationships, and goals with AI assistance for founders, creators, and professionals.
Weekly engineering retrospective tool that analyzes commit history, coding patterns, and quality metrics with automated session detection and trend tracking.
Monitor Claude Code usage, token consumption, productivity streaks, and skill effectiveness metrics to optimize your development workflow.
An AI-powered sales assistant that transforms business scenarios into optimized prompts, automatically generating high-quality emails, proposals, and analysis reports without requiring prompt engineering skills.
Search and analyze X (Twitter) trends, hashtags, and tweet data by location using custom CLI tools.