microsoft/accordant

A model-based testing framework for .NET that validates implementations against behavioral specifications.

58Stars on the repository
10Mods indexed here, across every type
14d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

microsoft/accordant

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.

58 14d ago A 37 tokens original MIT

microsoft/accordant

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.

58 14d ago A 31 tokens original MIT

microsoft/accordant

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.

58 14d ago A 66 tokens original MIT

microsoft/accordant

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.

58 14d ago A 29 tokens original MIT

accordant-overview

05

microsoft/accordant

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.

58 14d ago A 33 tokens original MIT

accordant-patterns

06

microsoft/accordant

Skill Claude CodeCodex

Common patterns in Accordant - response-dependent state, request derivations, error handling, and HTTP integration.

58 14d ago A 25 tokens original MIT

accordant-quickref

07

microsoft/accordant

Skill Claude CodeCodex

Quick reference and cheatsheet for Accordant API - use this skill for quick syntax lookup or code snippets.

58 14d ago A 26 tokens original MIT

accordant-state

08

microsoft/accordant

Skill Claude CodeCodex

How to design state models in Accordant - use this skill when defining what your system tracks between operations.

58 14d ago A 24 tokens original MIT

microsoft/accordant

Skill Claude CodeCodex

How Accordant generates and runs tests - use this skill when configuring test generation, understanding state graphs, or running tests.

58 14d ago A 28 tokens original MIT

microsoft/accordant

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.

58 14d ago A 29 tokens original MIT