addon-changelog
Generate changelog entries for a target add-on package. Use when preparing a new release.
Generate changelog entries for a target add-on package. Use when preparing a new release.
Fix "pnpm command not found" errors by enabling corepack. Use when pnpm cannot be found, corepack errors appear, or package manager is missing.
How to create a dlab decision-pack directory using generate_dpack() from Python code
Auto-generate a README.md from package.json and project structure.
Update all npm packages to their latest versions using the update-packages script. Use this when asked to update, upgrade, or consolidate dependencies, or to close dependabot PRs.
Create, manage, and validate Python virtual environments. Use for project isolation and dependency management.
How to set-up the skeleton of a new application
Create proper releases following EVALinux standards with signed tags and changelogs
This skill should be used when the user asks to "update dependencies", "update npm packages", "run taze", "upgrade node packages", "check for outdated packages", "update package.json", or mentions dependency updates, npm/pnpm/yarn package upgrades, or taze CLI usage.
Translate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety. Use when users ask to convert, translate, or port Python code to Lean4, or when they need to verify Python algorithms using Lean4's theorem proving capabilities. Handles functions, classes, data structures, control flow, and ensures the generated Lean4 code is well-typed, executable, and can successfully run.
Identify, analyze, and manage software dependencies before deployment. Use this skill when preparing applications for deployment, resolving dependency conflicts, updating dependencies, auditing security vulnerabilities, managing package versions, or troubleshooting dependency-related issues. Supports multiple package managers (npm, pip, maven, cargo, go mod, composer) and provides actionable recommendations for dependency management.
Master uv package manager for Python: project setup, dependency management, virtual environments, lockfiles, CI/CD integration, Docker builds, and migration from pip/poetry. MUST BE USED when user mentions: "uv", "uv add", "uv run", "uv sync", "uv init", "uv lock", "uv venv", "uv pip", "pyproject.toml", "python project setup", "python dependencies", "virtual environment", "venv", "pip install", "poetry to uv", "migrate from pip", "lockfile python", "requirements.txt", "setup.py", "pip freeze", "uv tool", "install package", "add dependency", "python environment", "new python project", "package manager python", "create project", "uv export", "uv cache", "uv python". 10-100x faster than pip. Covers init, add, sync, lock, run, Docker, CI/CD. NOT for npm/pnpm/yarn (JS toolchain), Rust cargo, or deployment (use deployment-assistant).
Cleans package.json for npm publishing using an allowlist approach — preserves only consumer-relevant properties. Use when setting up prepack hooks, configuring npm publish workflows, or working with clean-pkg-json flags.
Deploy Grokky — start Docker, ensure grok_spawner, build images, publish package
Create a Diff Studio demo model TS file and register it in the package, using equations from an IVP file. Use this skill when the user wants to create a demo model from an IVP file, mentions "demo model", "IVP file", "Diff Studio demo", or asks to convert an .ivp file into a demo.
Create a Diff Studio demo model TS file and register it in the package, using equations from an IVP file
Set up and manage package and connection credentials securely
Add a Docker container to a Datagrok package with Dockerfile and config
Add support for a new curve data format in the Curves package converter system
[BUILD:project-foundation]=>[VERIFY:hello-world]=>[REPORT:user]
Scaffold, build, and publish a new Datagrok package