Skip to main content
Exécutez n'importe quel Skill dans Manus
en un clic
Dépôt GitHub

eo

eo contient 5 skills collectées depuis Constructive-Programming, avec une couverture métier par dépôt et des pages de détail sur le site.

skills collectés
5
Stars
5
mis à jour
2026-07-17
Forks
2
Couverture métier
2 catégories métier · 100% classifié
explorateur de dépôts

Skills dans ce dépôt

improve-test-leverage
Analystes en assurance qualité des logiciels et testeurs

Orchestrates a coverage + mutation improvement cycle tuned to cats-eo's algebraic structure. Reads scoverage + stryker4s reports, triages surviving mutants, and drives every test artifact UP the promotion ladder (examples → property → law) so the suite kills more mutants with FEWER test lines. Phases live in phases/*.md, each with its own model assignment. Mandatory consolidation and law-scan phases close every run; law promotion is user-gated. Supports a measured eval-optimization loop ("loop" argument).

2026-07-17
test-fix
Analystes en assurance qualité des logiciels et testeurs

Alias for improve-test-leverage biased to killing currently-surviving mutants and covering uncovered branches — the gap-closing mode. Use when the QA page shows survivors or NoCoverage clusters that should be dead.

2026-07-17
test-prune
Analystes en assurance qualité des logiciels et testeurs

Alias for improve-test-leverage running ONLY the consolidation pipeline — shrink test count and LOC while holding every kill. Replaces example clusters with properties, deletes tests that restate laws, merges redundant properties.

2026-07-17
test-upgrade
Analystes en assurance qualité des logiciels et testeurs

Alias for improve-test-leverage biased to ADD moves that raise the suite's promotion-ladder stage — ruleset registrations, composed-optic laws, negative fixtures, properties replacing examples. Use to raise mutant-kill capacity per test line.

2026-07-17
cats-eo
Développeurs de logiciels

Use cats-eo (existential optics for Scala 3) to specify pinpointed read/write operations on nested case classes, JSON byte buffers, Avro records, or circe ASTs. One Optic[S, T, A, B, F] trait, several carriers, uniform .get/.modify/.replace/.foldMap/.andThen surface.

2026-04-29