Skill Claude CodeCodex
How to model background work, step functions, and polling - use this skill when testing async workflows, job queues, or operations that complete in the background.
A model-based testing framework for .NET that validates implementations against behavioral specifications.
Skill Claude CodeCodex
How to model background work, step functions, and polling - use this skill when testing async workflows, job queues, or operations that complete in the background.
Skill Claude CodeCodex
How to test for race conditions using concurrent tests and linearizability - use this skill when testing concurrent operations or finding race condition bugs.
Skill Claude CodeCodex
Testing systems not written in .NET - trace-based conformance testing, JSON test plan export, and executing from any language. Use when the user's system is in Python, Go, Java, Rust, C++, or any non-.NET language, or when they ask about trace validation or exporting test cases.
Skill Claude CodeCodex
How to define operations with Apply and Execute methods - use this skill when creating spec operations or understanding the Apply/Execute pattern.
Skill Claude CodeCodex
What Accordant is, when to use model-based testing, and core concepts - use this skill when starting with Accordant or explaining its purpose.
Skill Claude CodeCodex
Common patterns in Accordant - response-dependent state, request derivations, error handling, and HTTP integration.
Skill Claude CodeCodex
Quick reference and cheatsheet for Accordant API - use this skill for quick syntax lookup or code snippets.
Skill Claude CodeCodex
How to design state models in Accordant - use this skill when defining what your system tracks between operations.
Skill Claude CodeCodex
How Accordant generates and runs tests - use this skill when configuring test generation, understanding state graphs, or running tests.
Skill Claude CodeCodex
Common mistakes and debugging tips for Accordant specs - use this skill when tests fail unexpectedly or specs don't behave as expected.