Skill UI

Handles IMO/Putnam/USAMO/AIME style problems by generating refined proofs, then running a fresh-context adversarial verifier to catch flaws, finally producing honest confidence reports and verified PDFs when possible.

Provides Playwright-driven browser automation for scraping structured data, driving multi-step workflows, managing sessions and anti-detection tactics, and capturing screenshots/PDFs in production pipelines.

AKF is the native metadata format specifically designed for tracking AI-generated or AI-modified content. It allows users to stamp files (including DOCX, PDF, images, and code) with detailed trust scores, source provenance, and compliance metadata. This tool is essential for professional workflows requiring strict auditing, compliance assurance, and verifiable data lineage, especially concerning regulations like the EU AI Act, HIPAA, and SOX.

This skill automatically generates professional, structured conference presentation slides (PDF/PPTX) from a compiled academic paper. It intelligently adapts the content depth and slide count based on the specified talk type (e.g., oral, spotlight) and duration. Users can also optionally guide the structural rhythm of the talk by referencing another source paper's style.

Use this helper to search ten academic paper databases via their REST APIs whenever you need research papers, preprints, citation data, metadata, or open-access PDFs; it routes DOI/PMID/author/topic queries to the right endpoints and returns raw JSON plus the queried databases/paths.

Generates structured peer-review quality critiques of academic papers, covering summaries, methodology scrutiny, contribution evaluation, literature positioning, and recommendations across domains whenever a user requests reviews, analyses, or summaries of research publications.

This skill provides comprehensive interaction with the DeerFlow AI agent platform via its robust HTTP API. It is designed for managing complex, multi-step AI workflows, including deep academic research, code execution, web browsing, and file analysis. Users can initiate and continue conversation threads, manage agent memory, upload documents (PDF, etc.), and delegate complex research tasks to the autonomous agent system.

Automates listing a Google Drive folder and downloading every file, including exporting Google Docs as PDFs, using gws commands for bulk retrieval scenarios.

PDFtk Server is a powerful command-line tool designed for comprehensive manipulation and processing of PDF documents. It allows users to programmatically merge, split, rotate, secure (encrypt/decrypt), fill forms, apply watermarks, extract metadata, repair corrupted files, and much more. Ideal for automation scripts, batch processing, and any scenario requiring robust, scripted PDF handling from the terminal.

Generates professional conference presentation slides from a compiled research paper. This skill produces dual outputs: a polished Beamer LaTeX PDF for high-quality typesetting, and an editable PPTX for flexible adjustments. It supports multiple talk types (Poster, Spotlight, Oral, Invited) and includes detailed guidelines for speaker notes and talk scripting, making it essential for academic researchers preparing for major ML and systems conferences.

Automates converting PPTX, PDF, HTML, or Google Slides inputs into a GitHub Pages repo, covering conversion, asset handling, repo creation, and returning the live URL so presentations or HTML content can be shared quickly.

Reads and summarizes local text-based files such as Markdown, JSON, CSV, and source code, including quick type checks and smart tailing for big logs while skipping PDFs, images, and binaries.