formal-modeling

Formalize political science mechanisms into explicit checkable models with propositions and proofs.

Updated Mar 22, 2026

Search Tags:#assumptions #proof #game-theory #typst #formal-modeling #political-economy

Ready to run

npx skills add https://github.com/shusuke-ioku/r2 --skill formal-modeling

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: formal-modeling
Source: https://github.com/shusuke-ioku/r2/tree/main/src/r2/template/.claude/skills/formal-modeling
Command: npx skills add https://github.com/shusuke-ioku/r2 --skill formal-modeling

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Formalizes mechanisms in political science manuscripts by building explicit, checkable formal models.

Core Features & Use Cases

Three Principles: clarity, rigor, and parsimony guide model construction.
Workflow scaffolding: read context, specify environment, solve model, and derive propositions with structured proofs.
Use Case: formalize an introduction's argument by constructing a simple mechanism and deriving a testable proposition with a narrative to empirics.

Quick Start

Draft a basic two-player formal model by specifying players, actions, timing, information, and payoffs, then solve for an equilibrium and state a clear proposition.

Frequently Asked Questions about formal-modeling

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I build a formal model for a political science manuscript?▼

A formal model in political science requires specifying players, actions, timing, information, and payoffs, then solving for an equilibrium and deriving numbered propositions with explicit assumptions and structured proofs.

How do I derive testable propositions from game theory assumptions?▼

You derive testable propositions by stating explicit assumptions, solving the formal model via equilibrium analysis or backward induction, writing structured proofs, and mapping the theoretical results to empirical tests.

Can I use Typst to write formal models and mathematical proofs?▼

Yes, Typst supports writing formal models by providing conventions for numbered propositions, equations, and structured proofs, ensuring clarity and rigor in political economy manuscripts.

What is the best way to structure a formal model section in a research paper?▼

The best way is to follow a structured workflow: read context, specify the environment, solve the model, and derive propositions, ensuring a clear mapping from the formal theory to empirical tests.

Do I need explicit assumptions to formalize political economy mechanisms?▼

Yes, explicit assumptions are required to formalize political economy mechanisms, as they provide the rigor needed to build checkable formal models and derive valid propositions through equilibrium analysis.

When should I use backward induction versus equilibrium analysis in formal modeling?▼

Use backward induction for sequential games and equilibrium analysis for broader strategic interactions in formal modeling; both require explicit assumptions to derive propositions and map theory to empirics.