STOC Related Work Agent Skill

Use when positioning a STOC (ACM Symposium on Theory of Computing) paper against the theory literature — tracing bound-improvement…

Context cost
1.6k tokensestimated from the bundle, loaded when it triggers
Bundle
1 file · 6.6 kBtext throughout, nothing executable
Licence
MITthe author’s own terms
Last change
—no release on file
Servers it uses
Noneruns standalone

What it does

Use when positioning a STOC (ACM Symposium on Theory of Computing) paper against the theory literature — tracing bound-improvement lineages, citing conference/journal/preprint version pairs correctly, handling concurrent arXiv and ECCC work, and keeping self-citation double-blind-safe.

What this skill changes about the agent has not been set out here as a list. Its SKILL.md, shown below, says it in the author’s own words.

documentation

The skill itself

A skill is instructions the model reads, so you can see what you are getting: below is the start of its SKILL.md. The front matter loads with every session, the body loads when the skill triggers, and the whole file comes with the install.

SKILL.md6.6 kB · preview
--- name: stoc-related-work ---
6# STOC Related Work
7
8Theory positioning is quantitative: reviewers expect the paper to place its
9bounds in an explicit lineage ("[A] gave $O(n^2)$; [B] improved to
10$O(n \log n)$ under assumption X; we remove X and reach $O(n)$"), and they
11check the lineage against their own memory of it. Errors here — a missed
12improvement, a misquoted exponent, a result attributed to the journal version's
13year instead of the conference announcement — are among the fastest credibility
14losses available at this venue.
15
16## The lanes a STOC reviewer checks
17
18| Lane | What must be covered | Typical miss |
19|---|---|---|
20| The direct lineage | Every prior bound on your exact problem, with its model | Quoting the weakest prior bound to inflate the delta |
21| The barrier literature | Known obstructions your result confronts (relativization, natural proofs, hardness reductions, integrality gaps) | Claiming a breakthrough while silent on why the barrier does not apply |
22| Neighboring models | The same question in weaker/stronger models (randomized vs. deterministic, static vs. dynamic, classical vs. quantum) | "First" claims that are only first in one cell of the model grid |
23| Technique ancestry | Where your machinery comes from, even from other subfields | Reviewers who invented the machinery are plausibly your reviewers |
24| Concurrent work | Recent arXiv/ECCC preprints on the problem | The subreviewer knows about last month's preprint; your draft predates it |
This is a preview of SKILL.md. Download or install the skill to get the whole thing.
In the file
SKILL.md957 words
Files1
LicenceMIT
Why you can read it

Nothing in a skill executes. The client loads the text and the model follows it, so a skill can be audited the way a runbook is — by reading it.

What it costs in context

Skills are not billed by the call. They are paid for in context: every token the instructions occupy is a token your code, your diff and your conversation cannot use. Here is what this one takes and when it takes it.

≈80
always loaded
The name and description, so the model knows the skill exists and when to reach for it.
1,570
on trigger
The instruction body, read only when the skill fires.
0.83%
of a 200k window
Ten skills this size would take about 8% of the window before you open a file.
050k100k150k200k context window

1.6k tokens, estimated from the bundle at four bytes to the token, held for the rest of the session once it triggers. Middling. Fine to keep on in a project where you use it weekly, worth unloading in one where you never do.

Servers bill, skills cost

A server charges by the month. A skill charges once per session, in context, and then keeps charging it for as long as the session lives.

Before and after

The same question, put to the same model twice: once as it comes, and once with these instructions loaded.

No worked example has been published for this skill yet.

The procedure it runs

The procedure has not been set out here step by step. It is in the body of its SKILL.md: the start of it is shown above, and the whole file comes with the install.

Prose, not code

These steps are written for a model to follow, not executed by a runtime. It can still be told to skip one, and it will say so when it does.

Servers it uses

None. This skill calls no MCP servers at all.

Everything it needs is in the instructions, so it works in a project with nothing connected — the model reads the file and changes how it works with what it can already reach.

Its SKILL.md does not declare which tools it asks the agent for, so what it touches is whatever the instructions themselves ask for — read them before you install it.

What it asks for
Writes filesnot declared
Network accessnot declared

This SKILL.md carries no allowed-tools line, so neither is declared. A skill grants no permissions of its own — it can only ask for tools your client already has.

What it will not do

Every skill is narrow, and the useful ones say where they stop. These are the jobs this one is the wrong tool for.

What this skill is not for has not been published here. Nothing is implied by that: it is a section the author has not filled in.

What is in the bundle

1 file, 6.6 kB on disk. A bundle is text throughout: the instructions the model reads, plus the templates it fills in.

  • SKILL.md6.6 kB
What is not in it

No dependencies and nothing executable: a skill is text the agent reads, so the bundle is 1 file you can review in full before installing. The MIT licence covers the templates and examples as well as the instructions.

Install

Installing copies the bundle into your project. Nothing runs at install time — the files sit on disk until the model reads them.

# STOC Related Work · 1.6k tokens when loaded · macOS, Linux mkdir -p .claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/stoc-related-work/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/stoc-related-work" ] && { [ ! -e .claude/skills/stoc-related-work ] || { mv .claude/skills/stoc-related-work "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/stoc-related-work" .claude/skills/ && echo "Installed .claude/skills/stoc-related-work"
On Windows, or any OS with Node 20+
npx mcprush@latest skill add brycewang-stanford/stoc-related-work

Windows PowerShell says 'running scripts is disabled on this system'? Run Set-ExecutionPolicy -Scope CurrentUser RemoteSigned once, or type npx.cmd instead of npx (codex.cmd, gemini.cmd, grok.cmd likewise). PowerShell 7 needs neither. Writes to .claude/skills/stoc-related-work/ in the current project. For every project instead, run mkdir -p ~/.claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/stoc-related-work/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/stoc-related-work" ] && { [ ! -e ~/.claude/skills/stoc-related-work ] || { mv ~/.claude/skills/stoc-related-work "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/stoc-related-work" ~/.claude/skills/ && echo "Installed ~/.claude/skills/stoc-related-work" (macOS, Linux) — or add --global to the npx line. The curl line replaces .claude/skills/stoc-related-work/ only after the download succeeds, so files left there by another skill of the same name, or by an older release, do not mix in. A copy already there is moved aside, not deleted, and the line prints where.

Which clients pick it up on their own

A skill is a folder of text. Most of these read a skills folder and pick it up without being told; the rest take the same folder another way — an upload in the app, a parameter on an API call — and then choose it by its description just the same.

Claude Code.claude/skills/
Claude DesktopCustomize › Skills
ChatGPTSkills › Create › Upload
Cursor.cursor/skills/
VS Code.github/skills/
Codex CLI.agents/skills/
Gemini CLI.gemini/skills/
Grok Build.grok/skills/
Microsoft CopilotSkills › Upload a skill
PerplexityComputer › Skills › Upload a skill
DeepSeek Harness.dsh/skills/
Zed.agents/skills/
Devin Desktop.devin/skills/
Windsurf (legacy).windsurf/skills/
OpenAI Agents SDKInstructions or sandbox Skills
HTTP / APIa request parameter
This release
Versionnot versioned
Publishedno release date on file
PriceFree
Referencebrycewang-stanford/stoc-related-work

Versions

Its author publishes no version number, so there is nothing here to pin to: what you install is the folder as it stands today. Instructions change more often than APIs do — a skill can be rewritten entirely without anything it depends on moving.

Pinning

Nothing to pin to: this skill carries no version number of its own. What you install is what the folder holds on the day you install it.

Reviews

—no reviews yet

Nobody has reviewed this skill yet. The rating is the mean of the reviews written here, so there is none until somebody writes the first.

Sign in to review it

A review is tied to an account so it can be answered, edited and taken down by the person who wrote it.

Sign in
Who can post

Anybody with an account, one review each. It carries the version that was current when you wrote it, and the publisher may reply once.

Publisher
Servers0
Claim this skill