Browse Skills

Math Olympiad Solver guides agents through olympiad-style problem solving with interpretation checks, candidate generation, and adversarial verification. It is used for proofs, AIME-style answers, and checking whether a solution is actually complete.

Verify checks code for correctness through testing and review. Use it when you need to confirm behavior, catch regressions, or validate changes before delivery.

Maestro Verify cross-checks coverage, runs VERIFY scenarios, and records a verdict for close, commit, install, push, release, or archive gates. It also captures durable lessons into decisions and avoids claiming remote state from local evidence.

Maestro Work drives one accepted implementation unit with a test-first loop. Use it to keep changes inside the agreed scope, prove the behavior with a falsifying test, and report results with evidence.

Auditing measures bundle-plugin projects or individual skills for structural issues, version drift, workflow integration, quality problems, and security risks. Use it before release, after changes, or when adding skills.

Backend Test Generator creates unit, integration, or mock-based tests for existing backend code. Use it when adding coverage for a function, service, or API that already exists.

Designing Distributed System Tests helps create claim-driven test plans for distributed or stateful systems. Use it to scope a change or whole system, identify failure hypotheses, and plan checks for durability, isolation, ordering, and recovery.

Executing Distributed System Tests runs a previously designed distributed-systems test plan against a real or simulated cluster. It is used to drive fault injection, workload, consistency, durability, partition, crash-recovery, upgrade, performance, tenant isolation, fairness, and release validation runs.

Frontend Component Test Generator creates tests for existing UI components using React Testing Library, Vue Test Utils, and snapshots when the project already uses them. Use it when a component exists and you need added coverage for rendering, interactions, or accessibility.

Navigator Code Simplification simplifies recently modified code for clarity, consistency, and maintainability while preserving exact functionality. Use it after implementation work or when you want a readability-focused refactor.

Testing Bundle-Plugins verifies a local bundle-plugin before release by setting up a dev marketplace, running hook smoke tests, checking component discovery, and confirming cross-platform readiness. Use it when you need runtime validation after static auditing.

FMEA systematically identifies failure modes, their effects, causes, and controls to prioritize risks with RPN or Action Priority. Use it when assessing product or process risks, building a risk register, or planning corrective actions.