Skip to main content
在 Manus 中运行任何 Skill
一键导入
GitHub 仓库

eo

eo 收录了来自 Constructive-Programming 的 5 个 skills,并提供仓库级职业覆盖和站内 skill 详情页。

已收集 skills
5
Stars
5
更新
2026-07-17
Forks
2
职业覆盖
2 个职业分类 · 已分类 100%
仓库浏览

这个仓库中的 skills

improve-test-leverage
软件质量保证分析师与测试员

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
软件质量保证分析师与测试员

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
软件质量保证分析师与测试员

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
软件质量保证分析师与测试员

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
软件开发工程师

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