# Skill Formal Research

> Research skill for formal methods and logic verification

- Skill: `benbrastmckie/skill-formal-research-3` (Agent Skill)
- Install (CLI): `npx skillmds@latest add benbrastmckie/skill-formal-research-3`
- Raw SKILL.md: https://api.skillmd.com/api/skills/benbrastmckie/skill-formal-research-3/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Research & Search
- Author: benbrastmckie (https://skillmd.com/u/benbrastmckie)
- Updated: 2026-09-21
- Page: https://skillmd.com/skills/benbrastmckie/skill-formal-research-3

---


# Formal Research Skill

Routes formal methods research tasks to formal-research-agent.

## Usage

Invoked by orchestrator when task language is formal and operation is research.

## Agent

- **Agent**: formal-research-agent
- **Model**: opus

## Context

- Modal logic semantics
- Proof theory fundamentals
- Category theory (when relevant)