Formal Review

by jongwony

Formal Review is a Quality skill for Claude Code, published by jongwony in epistemic-protocols.

161 stars15 forkson jongwony/epistemic-protocolsAdded 2026/09/08+1% in starsRepository updated 2026/09/08

View source on GitHub Download repo ZIP

ai-collaborationclaude-codeepistemologymetacognitionplugin

Install in seconds

Install Formal Review

Copy Formal Review into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/jongwony/epistemic-protocols/tree/main/.claude/skills/formal-review ~/.claude/skills/formal-review

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/jongwony/epistemic-protocols.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: .claude/skills/formal-review/SKILL.md in jongwony/epistemic-protocols
Installs to: ~/.claude/skills/formal-review
Collection: One of 25 skills cataloged from this repository
Category: Quality — 1897 skills

What Formal Review does

Formal Review runs a fixed Category Theory, Type Theory, and Operational Semantics pass over a PR diff and posts the surviving findings as one consolidated comment. Use it for repository changes that need a structured formal review.

Formal Review is cataloged under Quality on DirSkills. Formal Review comes from a repository tagged ai-collaboration, claude-code, epistemology, metacognition and plugin.

Documentation

README

Excerpt

Formal Lens Review

A one-pass review of a PR diff through a fixed formal lens panel — Category Theory ∥ Type Theory ∥ Operational Semantics — posted back to the PR as a single consolidated comment for human reviewers. The panel is pinned at definition time rather than derived from the diff, so a formally-structured protocol change gets a meticulous, complete formal review on the same three axes every run.

Why this is a project skill

This is the opening of the README. Read the full README on GitHub.

Commands Formal Review provides

Slash commands named in this skill’s SKILL.md, listed in the order they first appear.

/frame
/formal-review
/conduct

Frequently asked about Formal Review

What else does jongwony publish alongside Formal Review?
Formal Review is one of 25 skills that DirSkills catalogs from jongwony/epistemic-protocols, the repository it ships in. Its siblings there include Aitesis Protocol, Analogia Protocol and Contextualize. Each one is a separate skill with its own page in this directory, installs the same way Formal Review does, and is maintained by jongwony in that same repository. The rest of the collection is listed on the jongwony/epistemic-protocols page.
How does Formal Review compare to other Quality skills?
Formal Review ranks #1812 by stars among the 1897 Quality skills in this catalog. The most-starred ones next to it are Benchmark, Benchmark Optimization Loop and API Design Patterns. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Formal Review against them. Open each page to compare what they document and how they install.