png-interlace-proofs
CommunityVerify Adam7 interlacing and extract properties of interlaced images.
Software Engineering#Adam7 interlacing#PNG image processing#Image verification#Interlace properties#Proof verification
Authorfmhall
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps users implement and prove properties about Adam7 interlacing, sub-image extraction, pixel scatter/gather, and interlace index bijectivity in PNG images.
Core Features & Use Cases
- Interlacing Verification: Ensure that interlaced PNG images are correctly decoded and re-encoded without loss.
- Sub-Image Extraction: Extract specific regions from interlaced images for detailed analysis.
- Pixel Scatter/Gather: Validate the correct placement of pixels after scatter and gather operations.
- Interlace Index Bijectivity: Prove that each pixel in the image is covered exactly once by the interlacing process.
- Use Case: Ideal for developers and researchers working on image processing libraries, where verifying the correctness of interlacing algorithms is crucial.
Quick Start
Run the png-interlace-proofs skill to verify the roundtrip property of Adam7 interlacing on an image.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 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: png-interlace-proofs Download link: https://github.com/fmhall/lean-png/archive/main.zip#png-interlace-proofs 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 620,000+ vetted skills library on demand.