moq-analyzers-proof-toolkit

moq-analyzers-proof-toolkit is a Root-cause investigation skill for AI agents, published by rjmurillo in the moq.analyzers repository on GitHub. Skillspace rates moq-analyzers-proof-toolkit D (59/100) and it passed the safety scan; the rating is based on static analysis only.

Provides the prove-don't-assume recipes for moq.analyzers — load BEFORE asserting any claim you have not observed: "Moq has this overload", "this snippet triggers/doesn't trigger MoqXXXX", "this KnownSymbols entry resolves", "the span lands here", "Roslyn behaves like X", "my change is perf-neutral", "the DLL loads in VS", "nothing else regressed". Each recipe is when-to-use / steps / expected output / pitfalls, with a worked example from this repo's history (phantom IReturns symbols, GeneratedReturnsExtensions #1243, ConstructorBody vs MethodBody #1253, void-Setup false negative #1270). Triggers: verifying an API exists, validating proposed test expectations, empirical Roslyn probes, CS8032 checks, pre-merge regression proof. NOT for: the measurement tools' own mechanics and output interpretation (moq-analyzers-diagnostics-and-tooling), corpus/statistics research design (moq-analyzers-research-methodology), or test-suite authoring patterns (moq-analyzers-validation-and-qa).

Grade
D
Quality
59 / 100
Safety
Passed
GitHub stars
23

Unproven: rated by static analysis only, not yet compared head-to-head.

This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.

Our review

Architecture
90 / 100
Maturity
Basic: a single SKILL.md
Security scan
Low-risk patterns
License
BSD-3-Clause
Adoption
Adopted by 0 other repositories, in 0 collections

What the scanner flagged

  • mentions secrets in text

Not checked yet

  • Not judged on the rubric yet (not a contender in its category)
  • No blind task eval yet
  • Scope (portable / vendor / repo-internal) not assessed; only the top of each category is read for scope
  • Sibling files (scripts, references) not fetched; security scan covers SKILL.md only

Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.