Skill UI

A comprehensive guide for deploying, configuring, and maintaining the OpenViking server in production environments. It covers service configuration management, environment setup using `uv` for virtual environments, reliable startup procedures using `nohup`, graceful shutdown methods, and critical data cleanup workflows. This resource is essential for DevOps engineers and system administrators managing OpenViking services.

This guide demonstrates how to set up a complete development environment entirely within a web browser using the WebContainer API. It covers mounting a virtual file system, installing Node.js dependencies via npm, and starting a local dev server (like Express) without needing a dedicated backend server. It is ideal for learning WebContainers, building browser-based IDEs, or prototyping Node.js applications client-side.

This playbook provides expert techniques for reverse engineering custom virtual machines and proprietary bytecode. It guides users through identifying dispatchers (switch/table), mapping unknown opcodes, reconstructing custom ISAs, and writing dedicated disassemblers. Essential for solving complex CTF challenges, analyzing protected software, or tackling custom runtime environments.

This guide outlines the rigorous process for submitting and evaluating research artifacts for academic conferences (TACAS/ETAPS). It details the mandatory two-round evaluation system, covering tool-demonstration papers and general research case studies. Authors must package their work to achieve badges like Available, Functional, and Reusable, ensuring maximum reproducibility and environmental compatibility on a clean virtual machine.

This comprehensive guide outlines best practices for designing and auditing empirical evaluations of formal verification tools and algorithms. It stresses the use of shared, community-accepted benchmarks, ensuring fair comparison against the strongest baselines with equal resources, meticulous reporting of all metrics, validating results for soundness, and guaranteeing full reproducibility on clean virtual environments.

Design and manage AWS Virtual Private Cloud (VPC) networking infrastructure for production environments. This skill covers subnet isolation, routing tables, security groups, and network segmentation. It includes configuring Internet Gateways, NAT Gateways, and VPC peering for multi-AZ architectures. Use AWS CLI to create VPCs, subnets, and gateways securely. Essential for DevOps engineers setting up secure cloud network foundations.

Learn to design and implement Azure network infrastructure including Virtual Networks, Subnets, Network Security Groups, and Azure Firewall. Covers hub-spoke topology, VNet peering, and private endpoints using Azure CLI and Terraform. Essential for building secure and scalable cloud network environments in production.

This skill enables creating procedural vegetation such as trees, grass, and flowers within Three.js or WebGPU environments. It focuses on growth hierarchies, surface-following vines, and deterministic geometry generation. Techniques include GPU culling, wind simulation, and optimized rendering for virtual fields, ensuring high performance and visual fidelity in 3D scenes.