A skill your agent uses when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation —…

MITAuto-check passed

Install Stoc Experiments

skills CLI
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill stoc-experiments -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install brycewang-stanford/Awesome-Journal-Skills stoc-experiments --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/STOC-Skills/skills/stoc-experiments .claude/skills/stoc-experiments && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
stoc-experiments
GitHub stars
1.2k
Token cost
~1.7k tokens
SKILL.md length
806 words
Files
1
Skills in repo
2,387
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation —…

  • Judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems
  • SKILL.md covers The three legitimate jobs of…, Constructive search, done…, Illustrations, if you must and Vignette: an illustration…, plus 3 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
  • With no empirical-evaluation expectation — and when it does

What it does

Stoc Experiments is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.

Its SKILL.md is about 1.7k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The repository describes itself as: Journal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. | 覆盖主流期刊的… The licence is MIT.

When your agent uses it

  • Judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems
  • With no empirical-evaluation expectation — and when it does
  • Scoping it as certified proof computation
  • Constructive search

Example prompts

  • “/stoc-experiments”

Requirements

  • Python 3

What it can do on your machine

Read from SKILL.md and the folder at commit 932eb23. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are python).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Stoc Experiments loads about 1.7k tokens when it runs. Until then it costs about 84 tokens; SKILL.md has 806 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~84
When it runs · the whole SKILL.md, loaded when a task matches
~1.7k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from brycewang-stanford/Awesome-Journal-Skills at commit 932eb23, republished under its MIT licence (© brycewang-stanford). 806 words, ~1,689 tokens.

Download SKILL.mdSave it as .claude/skills/stoc-experiments/SKILL.md (or your agent's skills folder).
name
stoc-experiments
description
Use when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.

STOC Experiments

The ground truth about this venue: STOC papers are accepted on the strength of theorems, and the STOC 2026 Call for Papers asks for original research on the theory of computation with no empirical-evaluation requirement of any kind (checked 2026-07-08). Most STOC papers contain zero computation. The question this skill answers is not "how do I run experiments for STOC" but "does this computation have a legitimate job in a STOC paper, and if so, which job?"

The three legitimate jobs of computation

JobExampleProof weightObligations
Proof stepExhaustive check of base cases $n \le 8$; SAT-certified nonexistence of a small counterexampleFull — the theorem is false if the run is wrongDeterminism, published certificate, independent checker (see stoc-reproducibility)
Discovery instrumentComputer search that found the gadget/construction the humans then verify by handNone — the found object is verified analyticallyOptional to even mention; a sentence of credit suffices
IllustrationA plot showing the new algorithm's iteration count on random instancesNoneHonest labeling, disclosed instances and seeds, no performance claims
Benchmarking against baselinesRuntime tables vs. prior implementationsNot a STOC jobRe-route: this evidence belongs at SODA's experimental siblings, ALENEX/ESA, or a systems venue

The fourth row is the routing trap. A STOC submission whose contribution needs runtime tables to be convincing is announcing that its theorems do not stand alone; committees read that accurately.

Constructive search, done credibly

Computer search that finds mathematical objects is a quiet workhorse of modern combinatorics and complexity papers. The credibility rules:

  • Whatever the search finds must be verified by something other than the search: a short analytical argument, or a tiny independent checking program whose correctness is inspectable.
  • Report the search honestly as heuristic ("found by simulated annealing over weight assignments") — the found object is the contribution, so the finder needs no rigor, but pretending the finder is exhaustive when it is not would be a false completeness claim.
  • If the paper claims no object exists below some size, that is a proof step, not discovery; it jumps to row one of the table with all its obligations.
python
# Independent checker pattern: ~30 lines, no dependencies, verifies the
# certificate that the (arbitrarily messy) search produced.
import itertools

def is_valid_gadget(g):            # transcribes Definition 4.1 literally
    return all(constraint(g, s) for s in itertools.product([0, 1], repeat=k))

g = load("gadget.json")            # the object the paper's Lemma 4.2 uses
assert is_valid_gadget(g)          # a reader re-runs this in seconds
print("certificate valid: gadget satisfies Definition 4.1")

The checker transcribes a definition from the paper; anyone can audit 30 lines against Definition 4.1. That closure — messy finder, trivial checker — is what lets a theory reviewer accept a computed object without trusting your code.

Illustrations, if you must

A figure can help a cross-area committee member see a phenomenon (a threshold, a tradeoff curve, the shape of a potential function). Norms for keeping it from harming the paper:

  • Caption it as illustration explicitly; never write "experiments confirm our theory" — theorems are not confirmed by samples, and the phrasing invites the benchmark framing you are avoiding.
  • Keep it small: one figure, placed near the concept it illuminates, with the generation procedure in one appendix paragraph (instances, sizes, seed).
  • Spend no guaranteed-read space on it. The first twelve pages are for theorem statements and proof overview; a decorative figure inside that window costs real estate the reading contract makes precious.
  • Ask the deletion question: if the figure vanished, would any reviewer miss it? If not, delete it and reclaim the page.
Show full SKILL.md (284 more words)Show less

Vignette: an illustration earning its page

A submission proves that a new local-search rule escapes a known family of bad local optima. The authors add one figure: the objective-value trajectory of the old rule and the new rule on the lower-bound instance from their own Section 5, showing the old rule plateauing exactly where Theorem 5.2 says it must and the new rule passing through. Why this works as illustration rather than benchmark: the instance is the paper's own analyzed object, not a dataset; the phenomenon shown is the theorem's content, not a performance claim; the caption states the instance parameters and that the plot is illustrative; and the figure sits in the appendix with a one-line pointer from the body, spending no guaranteed-read space. The same figure drawn on "20 standard TSPLIB instances" would have been a benchmark — and an invitation to review the paper as an experimental contribution it never intended to be.

Signals you are at the wrong venue

  • The abstract's strongest sentence cites a speedup factor, not a theorem.
  • Reviewers would need the code to evaluate the contribution.
  • The natural comparison set is prior implementations rather than prior bounds.
  • The result's interest depends on real-world input distributions rather than worst-case, average-case, or smoothed analysis.

Any two of these: run stoc-topic-selection and look hard at SODA, ALENEX, ESA, or an applied venue where empirical craft is rewarded instead of tolerated.

Cycle-volatility warnings

  • The theorems-first culture is structural, but scope sentences are rewritten each cycle; check the live CFP's topics list before arguing fit (待核实).
  • Subcommunities differ: algorithmic game theory and quantum papers at STOC carry numerics somewhat more often than complexity papers do. Calibrate against recent accepted-paper lists (acm-stoc.org/stoc2026/accepted-papers.html).

Output format

text
[Computation verdict] none needed / proof step / discovery / illustration / benchmark <- re-route
[Proof-step obligations] certificate + independent checker in place? yes / no / n.a.
[Illustration budget] <figures, placement outside the 12-page window?>
[Deletion test] <what is lost if all numerics are removed>
[Venue signal] STOC-shaped / drifting empirical (target: <venue>)

© brycewang-stanford, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in STOC-Skills/skills/stoc-experiments of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Stoc Experiments next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Stoc Experiments compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Stoc Experiments this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.7kAutomated safety check: PassMIT
Acm Symposium On Theory Of Computingfranklee16/academic-research-skills2231 repos~1.9kAutomated safety check: PassNone
Acm Ieee Symposium On Logic In Computer Sciencefranklee16/academic-research-skills2231 repos~1.9kAutomated safety check: PassNone
Acm Siggraph Eurographics Symposium On Computer Animationfranklee16/academic-research-skills2231 repos~2kAutomated safety check: PassNone
Ito Computeaffaan-m/ECC275k1 repos~1.7kAutomated safety check: PassMIT
Finding ExperimentsPostHog/posthog40k—~783Automated safety check: PassCustom licence

Similar skills

  • Acm Symposium On Theory Of Computing

    franklee16/academic-research-skills

    A skill your agent uses when targeting ACM Symposium on Theory of Computing (STOC) or deciding whether a computer-science manuscript fits this venue.

    223 GitHub starsUsed in 1 repo~1.9k tokens
    Research & ScienceAuto-check passed
  • Acm Ieee Symposium On Logic In Computer Science

    franklee16/academic-research-skills

    A skill your agent uses when targeting ACM/IEEE Symposium on Logic in Computer Science (LICS) or deciding whether a computer-science manuscript fits this venue.

    223 GitHub starsUsed in 1 repo~1.9k tokens
    Research & ScienceAuto-check passed
  • A skill your agent uses when targeting ACM SIGGRAPH/Eurographics Symposium on Computer Animation (SCA) or deciding whether a computer-science manuscript fits this venue.

    223 GitHub starsUsed in 1 repo~2k tokens
    Research & ScienceAuto-check passed
  • Ito Compute

    affaan-m/ECC

    Query live GPU inventory, submit an authenticated Itô fixed-rate RFQ, inspect RFQ or procurement status, revoke device credentials, and run explicitly gated node qualification through the separately…

    275k GitHub starsUsed in 1 repo~1.7k tokens
    Business, Finance & HRAuto-check passed
  • Finding Experiments

    PostHog/posthog

    Official

    Resolves a PostHog experiment reference from natural language to a concrete experiment ID by browsing experiment-list (not feature-flag tools), with disambiguation when multiple experiments match.

    40k GitHub stars~783 tokensUpdated yesterday
    Frontend & DesignAuto-check passed
  • Experiments

    Arize-ai/phoenix

    Run, read, and compare dataset-backed experiments to find evidence that a prompt or pipeline is improving.

    12k GitHub stars~1.8k tokensUpdated yesterday
    AI & LLM EngineeringAuto-check passed

More from brycewang-stanford/Awesome-Journal-Skills

All 2,387 skills in this repo
  • Aaag Data Analysis

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running and reporting the analysis for an Annals of the American Association of Geographers manuscript — spatial statistics and modeling, remote-sensing accuracy, or…

    1.2k GitHub stars~1.3k tokensUpdated 11 days ago
    Auto-check passed
  • Aaag Literature Positioning

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when positioning an Annals of the American Association of Geographers manuscript in the literature — engaging geographic scholarship across the relevant area and the…

    1.2k GitHub stars~1.3k tokensUpdated 11 days ago
    Auto-check passed
  • Aaag Rebuttal

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when responding to an Annals of the American Association of Geographers decision letter (major/minor revision) — building a point-by-point response to the subject editor and…

    1.2k GitHub stars~1.4k tokensUpdated 11 days ago
    Auto-check passed
  • Aaag Research Design

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when defending the research design of an Annals of the American Association of Geographers manuscript — spatial/quantitative analysis and GIScience, remote-sensing and…

    1.2k GitHub stars~1.4k tokensUpdated 11 days ago
    Auto-check passed
  • Aaag Review Process

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when you need to understand how the Annals of the American Association of Geographers evaluates a manuscript — double-anonymous review routed through a subject editor by…

    1.2k GitHub stars~1.3k tokensUpdated 11 days ago
    Auto-check passed
  • Aaag Submission

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running the final pre-submission preflight for the Annals of the American Association of Geographers via ScholarOne Manuscripts — area/article-type selection…

    1.2k GitHub stars~1.6k tokensUpdated 11 days ago
    Auto-check passed

Questions about Stoc Experiments

What does Stoc Experiments do?

A skill your agent uses when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation —…. Stoc Experiments is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.

When should I use Stoc Experiments?

Stoc Experiments fits situations like: judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems; with no empirical-evaluation expectation — and when it does; scoping it as certified proof computation; constructive search.

How do I install Stoc Experiments in Claude Code?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill stoc-experiments -a claude-code`. Or copy the skill folder (STOC-Skills/skills/stoc-experiments in brycewang-stanford/Awesome-Journal-Skills) into .claude/skills/stoc-experiments in your project. Claude Code loads it when a task matches its description.

How do I install Stoc Experiments in Codex?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill stoc-experiments -a codex`. Or copy the skill folder (STOC-Skills/skills/stoc-experiments in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/stoc-experiments in your project. Codex loads it when a task matches its description.

Can I use Stoc Experiments in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill stoc-experiments -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/stoc-experiments, .gemini/skills/stoc-experiments, .github/skills/stoc-experiments and .opencode/skills/stoc-experiments in your project.

What does Stoc Experiments need to run?

SKILL.md names no scripts, command-line tools or credentials: Stoc Experiments is instructions for the agent only. Our summary lists: Python 3.

Does Stoc Experiments access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Stoc Experiments safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Stoc Experiments use?

Stoc Experiments is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Stoc Experiments use?

About 1.7k tokens (SKILL.md is roughly 6.8k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Stoc Experiments?

Skills that share tags, products or a category with Stoc Experiments: Acm Symposium On Theory Of Computing (franklee16/academic-research-skills, 223 stars), Acm Ieee Symposium On Logic In Computer Science (franklee16/academic-research-skills, 223 stars), Acm Siggraph Eurographics Symposium On Computer Animation (franklee16/academic-research-skills, 223 stars) and Ito Compute (affaan-m/ECC, 275k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Stoc Experiments?

brycewang-stanford (a GitHub user) maintains it in brycewang-stanford/Awesome-Journal-Skills, which has 1,219 GitHub stars. The repository holds 2,387 skills in this directory. The repository was last updated on September 27, 2026.

Source: brycewang-stanford/Awesome-Journal-Skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.