Skill UI

A comprehensive guide and expertise source for developing robust, high-performance Minecraft server plugins using Bukkit, Spigot, and Paper APIs. Covers advanced topics including event handling, NMS internals, performance profiling, architecture design (SOLID), and ecosystem integration (Redis, Docker). Ideal for complex, production-grade plugin development.

Verifies that blockchain code precisely implements documented specifications by comparing logic, invariants, flows, and assumptions against whitepapers or design documents, flagging undocumented behavior, mismatches, and compliance gaps during audit engagements.

Real-time research lookup that auto-selects between Parallel Chat API and Perplexity sonar-pro-search to gather papers, facts, market data, and cited findings.

This skill automates the complex and tedious process of porting academic papers written in LaTeX from one publisher's journal template (e.g., Springer) to another (e.g., MDPI, IEEE). It executes a structured multi-stage workflow, including content extraction, structural mapping, systematic fixing of common LaTeX issues (like float placement and math environments), and final compilation to ensure the output adheres to the target journal's specifications.

This skill transforms a refined research proposal or method idea into a detailed, structured, and claim-driven experiment roadmap. It helps users determine exactly which experiments to run, in what order, and what evidence is needed to support the core claims of a research paper, ensuring focus on novelty, simplicity, and genuine contribution.

This tool automates the entire process of compiling a LaTeX source file into a submission-ready PDF. It handles multi-pass compilation, diagnoses common LaTeX errors (e.g., missing packages, undefined references, bibtex syntax errors), and iteratively attempts fixes to ensure the final document is accurate and adheres to specified page limits.

Draft a LaTeX paper section by section from a paper plan and narrative report. Automatically applies venue-specific styles for ICLR, NeurIPS, ICML, CVPR, ACL, AAAI, ACM and IEEE formats, fetches real BibTeX from DBLP/CrossRef to avoid hallucinated citations, and runs reviewer-backed section reviews.

End-to-end autonomous research workflow covering idea discovery, experiments, review, and paper submission. Supports resumable runs, optional Lean formalization, and configurable checkpoints for human oversight.

This skill structures and derives research formulas, building coherent derivation packages from scattered notes. It helps users formalize theory lines, organize assumptions, and produce paper-ready derivation documents. Ideal for researchers and students who need to clarify mathematical derivations or rewrite theory notes into structured, coherent presentations.

Process and resize images using ImageMagick across Windows, Linux, and macOS, including metadata inspection, format conversion, thumbnail creation, and batch workflows for wallpapers or mass photo adjustments.

Provides paragraph-level structural blueprints and venue-specific checklists for 10–12 page systems conference submissions (OSDI/SOSP/ASPLOS/NSDI/EuroSys), covering writing patterns, reviewer guidance, LaTeX templates, and deadline tracking.

This skill provides a comprehensive, paragraph-level structural blueprint for writing top-tier systems conference papers (e.g., OSDI, SOSP, ASPLOS). It meticulously outlines page allocation, section-specific templates (like the 5-sentence abstract or Problem-Gap-Insight structure), and rigorous writing patterns (Gap Analysis, Observation-Driven) required for industry-leading academic submissions.