Skill UI

This skill guides authors on optimizing manuscripts for the ACM SIGPLAN International Conference on Functional Programming (ICFP). It helps assess the technical depth, scope fit, and required evidence (e.g., type systems, semantics, compilers) needed to successfully position a functional programming paper for this top-tier venue. Use it for pre-submission refinement, framing, and strategic planning.

This skill provides a comprehensive guide for authors targeting the ACM SIGPLAN POPL conference. It helps authors strategically position their programming language theory work, covering core areas like type systems, semantics, and formal reasoning. It ensures manuscripts are reframed to meet the rigorous standards of a top-tier academic conference, emphasizing precise formal contributions and clear theoretical significance.

This guide helps researchers determine if their theoretical computer science result is suitable for ICALP, the premier European conference. It details the crucial two-step decision process: first, selecting the correct venue (ICALP vs. STOC/FOCS/SODA/Journals), and second, classifying the work into the appropriate specialized track (Track A: Algorithms, or Track B: Logic, Automata, and Semantics).

This skill provides a comprehensive guide for authors submitting theoretical linguistics manuscripts. It ensures the contribution is framework-neutral, highly generalizable, and makes a clear theoretical argument accessible to linguists across diverse subfields (e.g., phonology, syntax, semantics). It acts as a venue selection and framing aid for high-level academic publishing.

This guide outlines the rigorous standards for achieving full reproducibility in theoretical computer science papers (like those presented at POPL). It details how to ensure that independent readers can re-establish research claims by meticulously tracking mechanized theorems, on-paper proofs, formal semantics, and empirical results. Key practices include maintaining a central correspondence table and ensuring assumption hygiene to prevent logical divergence.

This guide helps researchers determine the optimal venue (like POPL, PLDI, OOPSLA) for their academic papers on programming languages. It advises authors on whether their core contribution is theoretical (proofs, semantics), implementation-focused (compilers, benchmarks), or empirical (user studies), ensuring their work reaches the most appropriate specialized reviewer community.

This skill provides expert capabilities for professional HTML development, emphasizing semantic markup, WCAG accessibility, and modern HTML5 standards. Use it to build structurally sound, accessible, and responsive web pages, incorporating complex forms, multimedia (SVG, Canvas), and adhering to industry best practices.

Reverse JavaScript-based custom DSL/VM interpreters, non-standard WASM-like runtimes, and risk-control engines. Use when analyzing IIFE or switch-based opcode dispatchers, extracting instruction tables, recovering bytecode semantics, capturing VM state at runtime, or reconstructing execution flow.

Evaluate an execution session using a three-stage verification pipeline: mechanical checks, semantic evaluation, and multi-model consensus. Supports MCP tools, adversarial observation, and convergence chaining. Suitable for quality assurance in development workflows.

A comprehensive security auditing tool for AI agent skills. It combines deterministic static scanning (SkillSpector) with deep semantic analysis to assess safety, trustworthiness, and potential risks. Determines if a skill is safe to install by checking for over-permissions, malicious behavior, and hidden dependencies.

Tinte is an agent-native infrastructure designed for generating, compiling, and managing consistent design systems from a single source of truth. It maintains a graph of 13 semantic OKLCH color tokens, compiling them into multiple formats including shadcn/ui presets, VS Code themes, and terminal configurations. Use it to ensure brand consistency, extract themes from images (via AI), and generate code previews with professional styling.

Search and read biomedical papers, regulatory documents, clinical trials, and protein databases via the Paperclip CLI, with semantic search, SQL, map/reduce, and line-pinned citations.