asgard-ai-platform/grad-auction-theory
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]
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.