linearizability-checker
Check linearizability of concurrent data structure implementations
Best use case
linearizability-checker is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Check linearizability of concurrent data structure implementations
Teams using linearizability-checker should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/linearizability-checker/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How linearizability-checker Compares
| Feature / Agent | linearizability-checker | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Check linearizability of concurrent data structure implementations
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# 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
Related Skills
contrast-checker
Check color contrast ratios for WCAG compliance
compliance-checker
Check compliance with SOC 2, GDPR, HIPAA, and PCI-DSS standards
jupyter-reproducibility-checker
Skill for checking and ensuring Jupyter notebook reproducibility
iso-nanotechnology-compliance-checker
Regulatory compliance skill for ISO nanotechnology standards verification and documentation
model-checker-interface
Interface with multiple model checking tools for formal verification
building-code-checker
Building code compliance checking skill for IBC occupancy, construction type, and area requirements
ada-compliance-checker
ADA accessibility compliance checking skill for routes, slopes, and pedestrian facilities
iso-standards-compliance-checker
Medical device standards compliance verification skill for ISO 13485, ISO 14971, IEC 62304, IEC 60601, and related standards
background-checker
Integrates with background check services, social media analysis, reference verification
incoterms-compliance-checker
International shipping terms validation and documentation skill ensuring trade compliance
gaap-ifrs-compliance-checker
Automated compliance validation skill for GAAP and IFRS accounting standards with codification references
license-compliance-checker
Automated license compliance verification for dependencies to ensure legal compliance during migration