skills.rest
shusuke-ioku
shusuke-iokuCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

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
One-click install
npx skills add https://github.com/shusuke-ioku/r2 --skill formal-modeling
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Education & Research Skills→
mgaldinomgaldino
5

review-paper

Orchestrate two expert reviews and compile a consolidated editorial letter.

Community
Advanced
JamesFincherJamesFincher

research-paper-writing

Coordinate literature review, experiment design, and verified citations for ML research papers.

Community
Advanced
pavelzwpavelzw
23

typst

Generate and format PDF documents using Typst markup.

Community
Intermediate
meleantoniomeleantonio
598

general-equilibrium-model-builder

Build and solve Walrasian general equilibrium models for pure-exchange economies in Julia.

Community
Advanced