agentsclimarketplace

Optimization correctness verifier

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/optimization-correctness-verifier

Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration

Install
npx -y skills add a5c-ai/babysitter --skill optimization-correctness-verifier

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its author says it does

Copied from the file, not written here

Verify correctness of compiler optimizations using formal methods

SKILL.md

1.3 KB, as published. Nobody here has run it

Optimization Correctness Verifier

Purpose

Provides expert guidance on verifying semantic preservation of compiler optimizations.

Capabilities

  • Semantic preservation checking
  • Alive2-style verification
  • Bisimulation proof construction
  • Counterexample generation
  • Optimization refinement suggestions
  • Undefined behavior handling

Usage Guidelines

  1. Optimization Specification: Define source and target patterns
  2. Precondition Identification: Identify required preconditions
  3. Verification: Check semantic equivalence
  4. Counterexample Analysis: Analyze any counterexamples
  5. Refinement: Refine optimization if needed

Tools/Libraries

  • Alive2
  • CompCert
  • SMT solvers
  • Vellvm

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.