Slay the Spire

sts_lean

Models Slay the Spire's card, draw and shuffle rules in Lean 4 to prove which decks have infinite combos. It covers cards and enemy state, not relics or full combat.

View on GitHub

Bottled AI — Full-run bot on Communication Mod using hand-built priority lists for choices and a simulated search over hand orderings in combat. The README reports a 52% win rate with its best Watcher strategy.
CombatSolver — In-game combat solver for Slay the Spire 2 single player. It simulates hands, draw piles, enemy intents, potions and relics across turns in the background, then recommends a line or plays it automatically.
LudicrousSpeed — Mod that lets a calling library execute commands in the real game, optionally very quickly, for AI projects.
Orak — Benchmark for training and evaluating language-model agents across 12 video games, Slay the Spire among them, with a public leaderboard.
STS battle AI (scumthespire) — Combat AI that searches inside the real game, using Communication Mod with STSStateSaver and LudicrousSpeed to try lines and rewind.
slay-the-spire-bench — Benchmark of language-model planning on Slay the Spire tasks: turn sequencing, combat, card recognition and Act 1 rollouts, including a comparison of JSON and plain-English prompts.

sts_lean

Related