SkillHub ClubShip Full StackFull Stack

mir-semantics

Imported from https://www.skillhub.club/skills/runtimeverification-mir-semantics.

Packaged view

This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.

Stars

Hot score

Updated

March 20, 2026

Overall rating

C2.1

Composite score

2.1

Best-practice grade

F0.0

Install command

npx @skill-hub/cli install runtimeverification-mir-semantics

Repository

runtimeverification/runtimeverification-mir-semantics

Imported from https://www.skillhub.club/skills/runtimeverification-mir-semantics.

Best for

Primary workflow: Ship Full Stack.

Technical facets: Full Stack.

Target audience: everyone.

License: Unknown.

Original source

Catalog source: SkillHub Club.

Repository owner: runtimeverification.

This is still a mirrored public skill entry. Review the repository before installing into production workflows.

What it helps with

Install mir-semantics into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
Review https://www.skillhub.club/skills/runtimeverification-mir-semantics before adding mir-semantics to shared team environments
Use mir-semantics for development workflows

Works across

Claude CodeCodex CLIGemini CLIOpenCode

Favorites: 0.

Sub-skills: 0.

Aggregator: No.