agentsclimarketplace

Linearizability checker

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/linearizability-checker

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 linearizability-checker

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

Check linearizability of concurrent data structure implementations

SKILL.md

1.4 KB, as published. Nobody here has run it

Linearizability Checker

Purpose

Provides expert guidance on verifying linearizability of concurrent data structures through testing and proof.

Capabilities

  • History linearization algorithms
  • Linearization point identification
  • Counterexample generation for violations
  • Concurrent history visualization
  • Linearizability proof templates
  • Testing framework integration

Usage Guidelines

  1. History Collection: Record concurrent operation histories
  2. Linearization: Check if history is linearizable
  3. Counterexample Analysis: Analyze non-linearizable executions
  4. Proof Construction: Build linearizability proofs
  5. Testing: Systematic testing for violations

Tools/Libraries

  • LineUp
  • Wing-Gong algorithm
  • Lincheck
  • JCStress

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.