Skill UI

This guide provides strict guidelines for authors writing the "Related Work" section for top-tier programming language theory conferences like POPL. It emphasizes moving beyond general literature reviews to pinpoint precise, technical "delta sentences" that prove novelty against neighboring formal systems. It covers citation standards, venue mapping, and attribution verification for maximum academic impact.

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.

Covers best practices for writing highly technical academic papers, particularly in programming language theory. It guides authors on structuring their work to build a strong 'ramp' from initial concrete programs and informal motivation to rigorous formal proofs and theorems, ensuring clarity and avoiding common pitfalls like unmotivated formalism or ambiguous notation.

SymPy is a powerful Python library designed for symbolic mathematics. Unlike numerical solvers, it performs exact calculations using mathematical symbols, allowing users to model and solve complex problems across various domains. Core capabilities include symbolic calculus (derivatives, integrals, limits), advanced algebra, solving systems of equations, linear algebra (determinants, eigenvalues), and specialized modules for physics and number theory. It can also generate executable code in languages like C and Fortran, making it invaluable for academic research and scientific computing.

Build a local multimedia webpage project from a user topic, audience, language, style, and media preferences by framing requirements, researching, planning, acquiring media, generating files, packaging, validating, repairing, and delivering usage guidance.

This skill helps developers programmatically discover, filter, and inspect the entire OpenMed model registry. It allows users to find the correct model key for specific clinical tasks (e.g., diseases, oncology, PII detection), filter by language, size, or task, and review model metadata before loading. It pairs with `loading-openmed-models`.

Automates the entire Continuous Integration (CI) workflow, crucial before opening a Pull Request (PR). It systematically runs local unit tests for multiple languages (Python, Node, Rust), performs type checking, pushes the current branch to the remote repository, and finally provides the direct URL and status check for the CI platform (GitHub Actions/GitLab). This single command replaces multiple manual steps.

This tool provides a unified interface to run test suites for various programming stacks (Python, Node.js, Rust) within a CI/CD pipeline. It automatically detects the project's environment (by checking lock files or config) and executes the appropriate testing framework (e.g., pytest, vitest, cargo test), ensuring consistent code quality checks regardless of the underlying language. Ideal for pre-commit or CI/CD integration.

This local developer tool inspects dependency manifests (requirements.txt, pyproject.toml, package.json) for surface-level issues like standard-library shadowing, unpinned dependencies, and conflicts. It provides plain-language explanations and suggested fixes, helping developers debug dependency rot before deeper installation attempts.

The Diagram Generator converts complex, unstructured inputs—such as natural language, code snippets, schemas, and notes—into professional, editable visual diagrams. It supports diverse standards including Mermaid, PlantUML, and Graphviz, enabling the creation of flowcharts, sequence diagrams, UML models, ER diagrams, architecture maps, and more. Outputs are designed to be reviewable, version-controllable, and highly precise.

Utilizes OpenMed's analyze_text to perform sophisticated Named-Entity Recognition (NER) on clinical and biomedical text. This tool extracts structured entities such as diseases, drugs, anatomy, genes, and proteins. It provides precise character spans and model confidence scores, making it essential for building robust, privacy-first clinical Natural Language Processing (NLP) pipelines.

This specialized skill provides a deep workflow for reverse engineering stripped Go and Rust binaries. It guides the recovery of lost runtime metadata, including symbols, pclntab data, and panic strings. The process addresses language-specific challenges, such as Go's interface structures and Rust's complex async state machines, serving as a crucial complement to general decompilers like IDA or Ghidra.