gitfool/aotw-dotnet-skills

v2610.1001.5235MIT

Comprehensive .NET development skills and specialist agents from Aaron Stannard's dotnet-skills: C#, Akka.NET, Aspire, EF Core, testing, serialization, DI, performance, and Roslyn source generators. Ports the Aaronontheweb/dotnet-skills plugin to a Kiro power.

GitHub Open Website

skills

cscheck

Write and simplify C# property-based, model-based, and executable specification tests with CsCheck. Use for generators, shrinking, stateful command sequences, Spec guards and rules, implementation conformance, or replaying generated failures.

Read SKILL.md at the source

Pinned to revision 30575743cffe, so it is the text this page describes rather than whatever the author pushed since.

Files

skills/cscheck/SKILL.md
skills/cscheck/references/failures.md
skills/cscheck/references/properties.md
skills/cscheck/references/specifications.md
skills/cscheck/references/stateful-and-async.md

Every link opens the file at its source, pinned to the revision this page describes.