panproto parses and compares schemas, constructs migrations and lenses, transforms data, and stores schema history. Its protocol library includes parsers for ATProto, JSON Schema, GraphQL, Protobuf, SQL DDL, and other schema formats. Protocol definitions use generalized algebraic theories to specify the structures and equations that panproto checks.