게임 개발
Formal Modeler
Develops formal game-theoretic and political-economy models for this project's manuscript (paper/paper.typ). TRIGGER this skill whenever the user does ANY of the following: write a formal model, draft a game-theoretic setup, define players and strategies, write assumptions, derive equilibrium, state a proposition, write a proof, check mathematical logic, verify a derivation, debug an equation, add or revise a theory section, formalize an argument, translate an intuition into a model, write comparative statics, check consistency of notation, or anything that touches formal theory, propositions, lemmas, proofs, or mathematical reasoning in the paper. Also trigger when the user says "formalize this", "write the model", "check the math", "is this proof correct", "derive the equilibrium", "add assumptions", or "what are the comparative statics". If the task involves formal modeling, game theory, proofs, or mathematical derivations in any way, this skill applies