flashinfer-b200-contest-optimizer

flashinfer-b200-contest-optimizer is a skill for Codex from syhya/mlsys26-flashinfer-contest. It costs 134 tokens per session (10,243 once invoked), scanned A, original, Apache-2.0.

A workflow for optimizing FlashInfer contest operators, which are GPU programs used for machine-learning workloads, on NVIDIA B200 chips. It covers refreshing references, benchmarking, profiling, and keeping reproducible results.

In plain words
What is it for?
Use it to optimize FlashInfer operators, compare candidates with baselines, inspect GPU performance metrics, and prepare reproducible contest submissions.
Why use it?
It gives optimization work a consistent comparison and verification process, so changes can be judged against a reference and the contest evaluator.

Skill for Codex

Written for Codex: agents/openai.yaml present. Also seen: mentions Codex.

Not installable: its command points at a path on the author’s own machine, so it runs nowhere else. The line is /Users/yue/.codex/skills/flashinfer-b200-contest-optimizer/scripts/archive_modal_artifacts.py.

Good fit Use it to optimize FlashInfer operators, compare candidates with baselines, inspect GPU performance metrics, and prepare reproducible contest submissions.

Compare 6 skills from other repositories ↓
Install

Getting it into your agent

There is no command for this one: it runs only inside a plugin, and the catalogue could not identify which plugin ships it. The source is linked below.

Made for: Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for flashinfer-b200-contest-optimizer

README.md
[![agentmods](https://agentmods.dev/badge/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer/github.svg)](https://agentmods.dev/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer)
Your own site
<a href="https://agentmods.dev/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer"><img src="https://agentmods.dev/badge/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for flashinfer-b200-contest-optimizer

Your own site · 80×15
<a href="https://agentmods.dev/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer"><img src="https://agentmods.dev/badge/skills/syhya/mlsys26-flashinfer-contest/flashinfer-b200-contest-optimizer.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 134 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 10,243 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00134 $0.10243
Opus 5 $0.00067 $0.05122
Sonnet 5 $0.00027 $0.02049
Haiku 4.5 $0.00013 $0.01024

Measured 11d ago against content hash 9f4b0795b595, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-10, from the pricing page.

Security

Grade A, and why

flashinfer-b200-contest-optimizer scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 11d ago.

The scan reads SKILL.md. This mod also ships 4 executable files (scripts/archive_modal_artifacts.py, scripts/extract_ncu_metrics.py, scripts/record_best_result.py, …), listed below but not scanned — reading those needs a real analyzer, not pattern matching.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

agent-assisted/skills/flashinfer-b200-contest-optimizer/SKILL.md · 647 lines

How it starts

The opening of the file, as written. The whole thing — 647 lines — stays where its author put it; the contents beside it link to each section on GitHub.

FlashInfer B200 Contest Optimizer

Overview

Use this skill to optimize MLSYS26 FlashInfer contest operators for B200, benchmark on Modal, pair each local gate with a same-round baseline run, extract compact NCU metrics from scratch artifacts, and keep reproducible artifacts for submission.

Do not start profiling or candidate writing until the reference repositories for the active operator have been refreshed and inspected. Reuse or adapt an existing operator, kernel primitive, or optimization idea when the reference scan shows one is already close to the active problem.

Assume CUDA 13.2 is the active optimization baseline. When Triton reaches a control-surface ceiling (cluster attributes, DSMEM, launch-policy control, or launch-latency overlap), move the hotspot to solution/cuda/kernel.cu instead of forcing a Triton-only path.

Treat the official contest evaluator as the final ground truth:

  • Docker image: flashinfer/flashinfer-ci-cu132:latest
  • hardware: bare-metal B200
  • GPU clocks: locked to max with nvidia-smi -ac 3996,1965
  • timing path: flashinfer-bench with cupti-python
  • process model: --use-isolated-runner

Deliverables per optimization round:

  • A measurable latency improvement with repeat validation (latency is the primary metric — speedup is secondary due to unstable reference baseline).
  • A shape-aware NCU matrix showing band -> workload_uuid -> dominant kernel -> bottleneck -> limiter.
  • A Markdown benchmark summary showing avg_latency_ms and p95_latency_ms as primary comparison columns, with avg_speedup as context only.
  • A scratch-safe archive: every full run, single-workload run, NCU report, and candidate kernel copied out of the project root before the next experiment.
  • A round decision that explicitly says whether a candidate was archived only, promoted globally, or rejected with the repo restored to the previous best.

Reference-First Reconnaissance

Treat reference-repo refresh and code reconnaissance as a mandatory stage 0, not optional background reading.

Read the full file on GitHub · 647 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 11d ago First seen · 647 lines · 134 tokens per session scan A 9f4b0795b595

Subscribe to this mod's changes

flashinfer-b200-contest-optimizer is a skill published in the GitHub repository syhya/mlsys26-flashinfer-contest (22 stars, last pushed 1mo ago), licensed Apache-2.0. It adds 134 tokens to every session and 10,243 once invoked, about $0.0007 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other skills, from other repositories

paper2poster

Convert academic papers (PDF) into conference posters (HTML/PNG). You are the conductor: you decide what each section needs — an original paper figure or text — write the outline, hand-author the poster HTML, and iterate on the render using your own visual read and a blind-reader content quiz. Use when the user wants…

QuZhan51496/paper2anything · 76 tokens

paper2slides

Turn an academic paper PDF into a presentation deck (.pptx) end-to-end. Use this skill whenever the user wants to "make slides from a paper", "generate a deck from this PDF", "make a PPT from this paper", "generate slides from a PDF document", "make a deck from a research paper", or supplies a research paper PDF and…

QuZhan51496/paper2anything · 120 tokens

5writing

A paper-writing workflow for mathematical modelling competitions, supporting both Typst and LaTeX. It uses analysis, results, figures, and a competition template to assemble the document.

jihe520/MathModelAgent · 68 tokens

6verity

A final-checking workflow for mathematical modelling competition papers, using either Typst or LaTeX to build the document. It checks the finished paper and its supporting files before submission.

jihe520/MathModelAgent · 76 tokens

1start-mathmodel

A starting workflow for mathematical-modeling competitions, which are contests where teams use mathematics, data, and code to solve real-world problems. It asks for preferences, creates planning files, and coordinates later analysis, modeling, coding, charting, diagram, writing, and verification stages.

jihe520/MathModelAgent · 64 tokens

4drawio

A diagram-making stage for mathematical-modeling projects. It uses existing analysis and results reports to create technical route maps, solution flowcharts, model diagrams, and data-processing diagrams in Drawio, a tool for creating structured diagrams, then exports them as PDF files.

jihe520/MathModelAgent · 65 tokens