formal-modeling

Community

Build formal models with clarity and rigor.

Authorshusuke-ioku
Version1.0.0
Installs0

System Documentation

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.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: formal-modeling
Download link: https://github.com/shusuke-ioku/r2/archive/main.zip#formal-modeling

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.