lean-zstd-patterns
CommunityMaster Zstd decompression patterns.
Authorkim-em
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides guidance and patterns for implementing Zstandard (Zstd) decompression features, helping developers understand and build robust decompression pipelines.
Core Features & Use Cases
- Zstd Decompression Logic: Detailed explanations of FSE table construction, backward bitstream reading, Huffman decoding, and sequence execution.
- Testing Strategies: Guidance on writing conformance, component, and integration tests for Zstd features.
- Use Case: A developer working on a Lean 4 project needs to implement Zstd decompression for archive files and requires best practices and implementation details to ensure correctness and efficiency.
Quick Start
Consult the patterns for implementing Zstd decompression logic in Lean 4.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: lean-zstd-patterns Download link: https://github.com/kim-em/lean-zip/archive/main.zip#lean-zstd-patterns Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.