Run any Skill in Manus with one click

compile-invariants

Stars2

Forks0

UpdatedMay 9, 2026 at 04:19

Given an ADR with an Invariant Delta block, invokes the invariant-compiler subagent to author per-invariant verifier code (test stubs, lint rules, schemas) for every Added entry and remove verifiers for every Withdrawn entry. Invokable inline by /plan-feature or standalone.

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

Run Skill in Manus

Source

richardmsong

richardmsong/agent-plugins

View GitHub Repository View Creator Repositories

Download

Run Skill in Manus

Related occupationsSOC

Based on SOC occupation classification

Database ArchitectsComputer and Mathematical Occupations·SOC 15-1243

SKILL.md

readonly

name	compile-invariants
description	Given an ADR with an Invariant Delta block, invokes the invariant-compiler subagent to author per-invariant verifier code (test stubs, lint rules, schemas) for every Added entry and remove verifiers for every Withdrawn entry. Invokable inline by /plan-feature or standalone.
version	1.0.0
user_invocable	true
argument-hint	<path to ADR>

More from this repository

same repository

feature-change

richardmsong/agent-plugins

Universal entry point for any change to the project — new features, bug fixes, refactors, config changes, anything. Classifies the change; delegates contract-introducing changes (new feature, behavior change) to /plan-feature for ADR + verifier authoring; runs the dev-harness -> verify-suite loop until `sdd verify && verify[]` exits 0. Bug fixes and pure refactors against existing invariants skip ADR authoring per ADR-0078.

2026-05-112

feature-change

richardmsong/agent-plugins

2026-05-112

feature-change

richardmsong/agent-plugins

Universal entry point for any change to the project — new features, bug fixes, refactors, config changes, anything. Authors an ADR for the request, updates impacted specs (verified by spec-evaluator), and runs dev-harness -> implementation-evaluator loop until CLEAN. Handles spec backpressure via /plan-feature rules.

2026-05-112

compile-invariants

richardmsong/agent-plugins

2026-05-092

design-audit

richardmsong/agent-plugins

Multi-round ambiguity audit loop for a design document. Calls /design-evaluator (fresh-context agent) repeatedly, fixing gaps between rounds until CLEAN. Logs all findings, fixes, and decisions to .agent/audits/.

2026-05-092

file-bug

richardmsong/agent-plugins

Record a bug with spec context so it's actionable for a future /feature-change session. Does not fix the bug — just documents it.

2026-05-092

Run any Skill with one click