png-filter-proofs
CommunityVerify PNG scanline filter/unfilter roundtrip theorems
Authorfmhall
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps verify PNG scanline filter/unfilter roundtrip theorems, ensuring the integrity of image encoding and decoding processes.
Core Features & Use Cases
- Filter Proof Verification: Validate the accuracy of PNG filter roundtrip proofs for the five types defined in the PNG specification.
- UInt8 Arithmetic: Ensure the proper operation of UInt8 modular arithmetic in the context of PNG filters.
- Predictor Properties: Confirm the deterministic nature of the Paeth and Average predictors used in PNG filtering.
- Use Case: When developing a PNG encoder/decoder, use this Skill to verify the correctness of the filter implementation and prevent potential bugs.
Quick Start
Use the png-filter-proofs skill to verify the roundtrip theorem for the Sub filter on a given image.
Dependency Matrix
Required Modules
lean
Components
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-filter-proofs Download link: https://github.com/fmhall/lean-png/archive/main.zip#png-filter-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.