Skills
.Work. You
Rest

png-chunk-framing

Community

Verify PNG chunk parsing, serialization, and CRC32 validation.

Software Engineering#formal verification#CRC32#PNG#Lean 4#chunk framing
Authorfmhall
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill assists in the implementation and verification of properties related to PNG chunk parsing, serialization, and CRC32 validation, enhancing the reliability of PNG handling.

Core Features & Use Cases

  • PNG Chunk Parsing: Offers guidance on implementing or proving properties about PNG chunk parsing and serialization.
  • CRC32 Validation: Integrates CRC32 validation for ensuring data integrity.
  • Use Case: It is beneficial for developers working on formally verified PNG decoders or for anyone needing to ensure the correctness of PNG chunk handling in their applications.

Quick Start

Utilize the png-chunk-framing skill to validate the CRC32 of a PNG chunk with the type 'IHDR' and data 'example_data'.

Dependency Matrix

Required Modules

leanlean-zip

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-chunk-framing
Download link: https://github.com/fmhall/lean-png/archive/main.zip#png-chunk-framing

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.