Skill UI

A comprehensive guide detailing the rigorous standards required for submitting parallel programming research to top-tier academic venues. It covers crucial topics such as proving concurrency correctness, demonstrating measurable scalability using speedup curves, adhering to strict formatting (10 pages, two-column layout), and structuring the technical contribution to satisfy expert reviewers.

A comprehensive guide detailing the complex submission and evaluation pipeline for TACAS (Tools and Algorithms for Scientific Applications). It models key features such as category-specific blind review, the mandatory parallel artifact evaluation for tool papers, and the single-round conference decision-making process, helping authors strategically prepare their submissions.

This comprehensive guide provides a backward-planning workflow for submissions to the TACAS conference. It meticulously details the entire academic publishing lifecycle, from initial category selection and evidence locking to mandatory tool artifact submission, rebuttal, and camera-ready preparation. It is tailored for understanding the unique single annual review cycle and parallel tool/paper review structure.

Polars is a lightning-fast DataFrame library designed for efficient, memory-efficient data processing in Python and Rust. Built upon Apache Arrow, it supports lazy evaluation and parallel execution, making it ideal for ETL pipelines, large-scale data transformations, and scenarios where standard Pandas performance is insufficient. It excels at handling datasets up to 100GB that fit within available RAM.

A comprehensive multi-step pipeline tool that executes a fully validated development plan. It handles worktree isolation, TDD scaffolding, parallel task execution across architectural layers, quality gating (linting, testing, smoke tests), documentation reconciliation, PR creation, and final merge, ensuring the feature is fully documented and integrated.

A read-only repository explorer for cold-start code orientation and cross-file localization. It locates where relevant code lives using broad parallel search and returns only compact path:line citations. Use when the exact file or symbol is not yet known; skip when direct search already works.

This workflow implements a bounded, iterative refinement loop for AI agents. It utilizes a required markdown rubric to grade the agent’s output in an isolated context. Based on the grader's verdict, it recommends the next move (sharpen, re-run, or promote). Once the agent passes the rubric, held-back evaluation cases are run in parallel to ensure generalization before final deployment.

Hivemind is an advanced orchestration layer designed to manage complex tasks using a parallel swarm of external, low-cost workers. It simulates a structured team workflow (scout, coder, tester) to decompose large problems, execute subtasks in isolated worktrees, synthesize aggregated results, and perform consensus reviews. This dramatically reduces token costs and enhances reliability for large-scale coding, research, and testing tasks.

This tool initializes a dedicated AgentHub session for multi-agent collaborations. It requires defining the core task, specifying the number of parallel agents, and configuring detailed evaluation criteria (including the evaluation command, target metric, and measurement direction). Upon execution, it generates a unique session ID and prepares the entire environment for subsequent agent spawning and competitive evaluation, optionally capturing a performance baseline.

Multi-agent decision swarm that activates 20 legendary Tianya forum experts in parallel for a user objective. A coordinator assigns the task, each expert provides specialized insights, and a synthesis agent merges consensus and disagreements into a structured report with risks, recommendations and action plans.

Skill for parent orchestrators to delegate independent workstreams to ephemeral context workers via delegate_task. Covers mapping needs, parallel unit writing, high-risk changes, adversarial review, and multi-step debugging. Enforces named-reason delegation, self-contained missions, and verification of worker output.

Framework for AI media writing inspired by Synced. Focuses on paper-first reporting, quantitative data, academic plus industry parallelism, layered analysis, and productized content. Applies to deep tech reviews, model benchmarks, industry trend reports, and editorial commentary.