Apply auction theory to compare the four canonical auction formats and assess revenue equivalence. Use this skill when the user needs to choose an auction format, evaluate bidding strategies, or determine when revenue equivalence breaks down due to risk aversion, asymmetry, or correlated values.
npx skills add https://github.com/asgard-ai-platform/skills --skill grad-auction-theory
Auction theory analyzes strategic bidding behavior across different selling mechanisms. The four canonical formats — English (ascending), Dutch (descending), first-price sealed-bid, and second-price sealed-bid (Vickrey) — generate identical expected revenue under standard assumptions. The Revenue Equivalence Theorem (RET) is the central benchmark; deviations from its assumptions drive all practical auction design decisions.
IRON LAW: Revenue equivalence holds ONLY with risk-neutral bidders,
independent private values (IPV), and symmetric bidders — violate ANY
assumption and auction format matters.
Step 1 — Identify the Value Model
Classify the setting: independent private values (IPV), common values, or affiliated values. IPV means each bidder knows their own value with certainty; common values mean the object has one true value unknown to all; affiliated values generalize both.
Step 2 — Derive Equilibrium Bidding Strategies
For each auction format, solve for the Bayesian Nash equilibrium. In second-price / English auctions under IPV, bidding true value is dominant. In first-price / Dutch auctions, bidders shade below true value: b(v) = E[Y1 | Y1 < v] where Y1 is the highest competing value.
Step 3 — Apply Revenue Equivalence or Identify Violations
Under RET assumptions, all four formats yield the same expected revenue. Check for violations: (a) risk aversion favors first-price over second-price; (b) asymmetric bidders break equivalence; (c) common values introduce the winner's curse and favor English auctions (Milgrom-Weber linkage principle); (d) budget constraints, entry costs, or reserve prices create format-dependent effects.
Step 4 — Recommend Format and Parameters
Given the identified deviations, recommend the auction format, optimal reserve price (r* where r* = v0 + [1 - F(r*)] / f(r*) in the IPV case), and any additional design features (e.g., entry fees, information disclosure policy).
## Auction Analysis: [Context]
### Value Model
- **Type**: IPV / Common / Affiliated
- **Distribution**: [bidder value distribution]
- **Number of bidders**: [N]
- **Risk attitude**: risk-neutral / risk-averse
### Format Comparison
| Format | Equilibrium Strategy | Expected Revenue | Notes |
|--------------------|------------------------------|-----------------|--------------|
| English (ascending) | | | |
| Dutch (descending) | | | |
| First-price sealed | | | |
| Second-price sealed | | | |
### Revenue Equivalence Assessment
- **RET holds?** Yes / No
- **Violation source**: [risk aversion / asymmetry / common values / other]
- **Ranking**: [which format generates highest revenue and why]
### Optimal Reserve Price
- **r*** = [value]
- **Derivation**: [brief]
### Recommendation
[Chosen format, reserve price, and rationale]
Integration with protocols.io API for managing scientific protocols. This skill should be used when working with protocols.io to search, create, update, or publish protocols; manage protocol steps and materials; handle discussions and comments; organize workspaces; upload and manage files; or integrate protocols.io functionality into workflows. Applicable for protocol discovery, collaborative protocol development, experiment tracking, lab protocol management, and scientific documentation.
Analyzes job descriptions and generates tailored resumes that highlight relevant experience, skills, and achievements to maximize interview chances
Generate Excalidraw diagrams from natural language descriptions. Use when asked to "create a diagram", "make a flowchart", "visualize a process", "draw a system architecture", "create a mind map", or "generate an Excalidraw file". Supports flowcharts, relationship diagrams, mind maps, and system architecture diagrams. Outputs .excalidraw JSON files that can be opened directly in Excalidraw.
Build and distribute Expo development clients locally or via TestFlight
Use when you have a written implementation plan to execute in a separate session with review checkpoints
Data structure for annotated matrices in single-cell analysis. Use when working with .h5ad files or integrating with the scverse ecosystem. This is the data format skill—for analysis workflows use scanpy; for probabilistic models use scvi-tools; for population-scale queries use cellxgene-census.
Benchling R&D platform integration. Access registry (DNA, proteins), inventory, ELN entries, workflows via API, build Benchling Apps, query Data Warehouse, for lab data management automation.
Comprehensive molecular biology toolkit. Use for sequence manipulation, file parsing (FASTA/GenBank/PDB), phylogenetics, and programmatic NCBI/PubMed access (Bio.Entrez). Best for batch processing, custom bioinformatics pipelines, BLAST automation. For quick lookups use gget; for multi-service integration use bioservices.
Take asgard-ai-platform/grad-auction-theory from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.