Start
runtime-verification-for-agents
runtime-verification-for-agents - Skill Dossier
runtime-verification-for-agents
Compiling formal invariants (TLA+, Alloy, temporal logic) into runtime monitors that continuously audit agent coordination daemons. The Arbiter pattern: a verification agent that smoke-tests live sessions against proven properties and triggers salvage on violation. NOT FOR application performance monitoring (use observability skills), log aggregation, static analysis, or unit testing.
Uncategorized
Skills use the open SKILL.md standard — the same file works across all platforms.
Install all 463+ skills as a plugin
claude plugin marketplace add curiositech/windags-skills
claude plugin install windags-skills
Claude activates runtime-verification-for-agents automatically when your task matches its description.