protocol-parser

name	protocol-parser
description	Specialized skill for binary and text protocol parsing and serialization. Design and validate protocol message formats, generate parser code from specifications, implement state machine parsing, and handle endianness and byte alignment.
allowed-tools	Bash(*) Read Write Edit Glob Grep WebFetch
metadata	{"author":"babysitter-sdk","version":"1.0.0","category":"protocol-implementation","backlog-id":"SK-002"}

protocol-parser

You are protocol-parser - a specialized skill for binary and text protocol parsing and serialization, providing deep expertise in protocol message format design, parser generation, and state machine implementation.

Overview

This skill enables AI-powered protocol parsing operations including:

• Designing and validating protocol message formats
• Generating parser code from protocol specifications
• Implementing state machine parsing
• Handling endianness and byte alignment
• Validating checksum/CRC implementations
• Debugging protocol parsing issues
• Generating test vectors for parsers

Prerequisites

• Understanding of binary data representation
• Protocol specification documents (if implementing existing protocols)
• Build tools for target language (C/C++, Rust, Python, etc.)

Capabilities

1. Protocol Message Format Design

Design efficient binary protocol formats:

Protocol Message Format
========================

Header (8 bytes):
+--------+--------+--------+--------+--------+--------+--------+--------+
| Magic  | Version|  Type  | Flags  |        Payload Length           |
+--------+--------+--------+--------+--------+--------+--------+--------+
   1B       1B       1B       1B              4B (big-endian)

Payload (variable):
+--------+--------+--------+--------+--------+--------+--------+--------+
|                         Payload Data                                 |
+--------+--------+--------+--------+--------+--------+--------+--------+

Footer (4 bytes):
+--------+--------+--------+--------+
|           CRC32 Checksum         |
+--------+--------+--------+--------+

2. Binary Protocol Parser Generation

Generate efficient binary parsers:

#include <stdint.h>
#include <string.h>
#include <arpa/inet.h>  // for ntohl, ntohs

#define MAGIC_BYTE 0xAB
#define PROTOCOL_VERSION 0x01

typedef enum {
    MSG_TYPE_HANDSHAKE = 0x01,
    MSG_TYPE_DATA      = 0x02,
    MSG_TYPE_ACK       = 0x03,
    MSG_TYPE_ERROR     = 0x04,
    MSG_TYPE_CLOSE     = 0x05
} message_type_t;

typedef enum {
    FLAG_COMPRESSED  = 0x01,
    FLAG_ENCRYPTED   = 0x02,
    FLAG_FRAGMENTED  = 0x04,
    FLAG_LAST_FRAG   = 0x08
} message_flags_t;

typedef struct __attribute__((packed)) {
    uint8_t  magic;
    uint8_t  version;
    uint8_t  type;
    uint8_t  flags;
    uint32_t payload_length;  // Big-endian
} protocol_header_t;

typedef struct {
    protocol_header_t header;
    uint8_t*          payload;
    uint32_t          crc32;
} protocol_message_t;

typedef  {
    PARSE_OK = ,
    PARSE_INCOMPLETE,
    PARSE_INVALID_MAGIC,
    PARSE_INVALID_VERSION,
    PARSE_INVALID_CRC,
    PARSE_PAYLOAD_TOO_LARGE
} ;


  {
     crc = ;
     ( i = ; i < length; i++) {
        crc ^= data[i];
         ( j = ; j < ; j++) {
            crc = (crc >> ) ^ ( & -(crc & ));
        }
    }
     ~crc;
}

  {
    *bytes_consumed = ;

    
     (buffer_len < ()) {
         PARSE_INCOMPLETE;
    }

    
    (&msg->header, buffer, ());

    
     (msg->header.magic != MAGIC_BYTE) {
         PARSE_INVALID_MAGIC;
    }

    
     (msg->header.version != PROTOCOL_VERSION) {
         PARSE_INVALID_VERSION;
    }

    
     payload_len = ntohl(msg->header.payload_length);

    
     (payload_len >  *  * ) {  
         PARSE_PAYLOAD_TOO_LARGE;
    }

    
     total_size = () + payload_len + ;  

     (buffer_len < total_size) {
         PARSE_INCOMPLETE;
    }

    
    msg->payload = (*)(buffer + ());

    
    (&msg->crc32, buffer + total_size - , );
    msg->crc32 = ntohl(msg->crc32);

     calculated_crc = crc32(buffer, total_size - );
     (calculated_crc != msg->crc32) {
         PARSE_INVALID_CRC;
    }

    *bytes_consumed = total_size;
     PARSE_OK;
}

3. State Machine Parsing

Implement protocol state machines:

typedef enum {
    STATE_IDLE,
    STATE_HEADER_RECEIVED,
    STATE_PAYLOAD_RECEIVING,
    STATE_MESSAGE_COMPLETE,
    STATE_ERROR
} parser_state_t;

typedef struct {
    parser_state_t state;
    protocol_header_t header;
    uint8_t* payload_buffer;
    size_t payload_received;
    size_t payload_expected;
    uint32_t expected_crc;
} stream_parser_t;

void parser_init(stream_parser_t* parser) {
    parser->state = STATE_IDLE;
    parser->payload_buffer = NULL;
    parser->payload_received = 0;
    parser->payload_expected = 0;
}

parse_result_t parser_feed(
    stream_parser_t* parser,
    const uint8_t* data,
    size_t len,
    size_t* consumed
) {
    *consumed = 0;

    while (*consumed < len) {
        switch (parser->state) {
            case STATE_IDLE:
                // Looking for header
                if (len - *consumed >= sizeof(protocol_header_t)) {
                    memcpy(&parser->header, data + *consumed,
                           sizeof(protocol_header_t));
                    *consumed += sizeof(protocol_header_t);

                    if (parser->header.magic != MAGIC_BYTE) {
                        parser->state = STATE_ERROR;
                         PARSE_INVALID_MAGIC;
                    }

                    parser->payload_expected = ntohl(parser->header.payload_length);
                    parser->payload_received = ;

                     (parser->payload_expected > ) {
                        parser->payload_buffer = (parser->payload_expected);
                        parser->state = STATE_PAYLOAD_RECEIVING;
                    }  {
                        parser->state = STATE_HEADER_RECEIVED;
                    }
                }  {
                     PARSE_INCOMPLETE;
                }
                ;

             STATE_PAYLOAD_RECEIVING: {
                 remaining = parser->payload_expected - parser->payload_received;
                 available = len - *consumed;
                 to_copy = (available < remaining) ? available : remaining;

                (parser->payload_buffer + parser->payload_received,
                       data + *consumed, to_copy);
                parser->payload_received += to_copy;
                *consumed += to_copy;

                 (parser->payload_received == parser->payload_expected) {
                    parser->state = STATE_MESSAGE_COMPLETE;
                     PARSE_OK;
                }
                 PARSE_INCOMPLETE;
            }

             STATE_MESSAGE_COMPLETE:
                
                parser_init(parser);
                ;

             STATE_ERROR:
                 PARSE_INVALID_MAGIC;

            :
                parser->state = STATE_ERROR;
                 PARSE_INVALID_MAGIC;
        }
    }

     PARSE_INCOMPLETE;
}

4. Endianness Handling

Handle byte order correctly across platforms:

#include <stdint.h>

// Detect endianness at compile time
#if defined(__BYTE_ORDER__) && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
    #define IS_BIG_ENDIAN 1
#else
    #define IS_BIG_ENDIAN 0
#endif

// Byte swap macros
#define SWAP16(x) ((uint16_t)((((x) & 0xFF) << 8) | (((x) >> 8) & 0xFF)))
#define SWAP32(x) ((uint32_t)( \
    (((x) & 0xFF) << 24) | \
    (((x) & 0xFF00) << 8) | \
    (((x) >> 8) & 0xFF00) | \
    (((x) >> 24) & 0xFF) \
))
#define SWAP64(x) ((uint64_t)( \
    (((x) & 0xFFULL) << 56) | \
    (((x) & 0xFF00ULL) << 40) | \
    (((x) & 0xFF0000ULL) << 24) | \
    (((x) & 0xFF000000ULL) << 8) | \
    (((x) >> 8) & 0xFF000000ULL) | \
    (((x) >> 24) & 0xFF0000ULL) | \
    (((x) >> 40) & 0xFF00ULL) | \
    (((x) >> 56) & 0xFFULL) \
))

// Network byte order (big-endian) conversion
static inline uint16_t to_be16(uint16_t x) {
    return IS_BIG_ENDIAN ? x : SWAP16(x);
}

static inline uint32_t to_be32(uint32_t x) {
    return IS_BIG_ENDIAN ? x : SWAP32(x);
}

static inline uint16_t from_be16(uint16_t x) {
    return IS_BIG_ENDIAN ? x : SWAP16(x);
}

static    {
     IS_BIG_ENDIAN ? x : SWAP32(x);
}


    {
     IS_BIG_ENDIAN ? SWAP16(x) : x;
}

    {
     IS_BIG_ENDIAN ? SWAP32(x) : x;
}

5. Protocol Buffer Generation

Generate Protocol Buffers schema:

syntax = "proto3";

package myprotocol;

option go_package = "github.com/example/myprotocol";

// Message envelope
message Envelope {
    uint32 version = 1;
    uint64 timestamp = 2;
    string correlation_id = 3;
    oneof payload {
        HandshakeRequest handshake_request = 10;
        HandshakeResponse handshake_response = 11;
        DataMessage data = 12;
        Acknowledgment ack = 13;
        ErrorMessage error = 14;
    }
}

message HandshakeRequest {
    string client_id = 1;
    repeated string supported_versions = 2;
    map<string, string> capabilities = 3;
}

message HandshakeResponse {
    bool accepted = 1;
    string selected_version = 2;
    string session_id = 3;
}

message DataMessage {
    uint64 sequence = 1;
    bytes payload = 2;
    bool compressed = 3;
    CompressionType compression_type = 4;
}

enum CompressionType {
    NONE = 0;
    GZIP = 1;
    LZ4 = 2;
    ZSTD = 3;
}

message Acknowledgment {
    uint64 sequence = 1;
    bool success = 2;
}

message ErrorMessage {
    uint32 code = 1;
    string message = 2;
    map<string, string> details = 3;
}

6. Test Vector Generation

Generate comprehensive test vectors:

import struct
import zlib

def generate_test_vectors():
    """Generate test vectors for protocol parser."""

    test_vectors = []

    # Test 1: Valid minimal message
    header = struct.pack('>BBBBI',
        0xAB,  # magic
        0x01,  # version
        0x02,  # type (DATA)
        0x00,  # flags
        0      # payload length
    )
    crc = zlib.crc32(header) & 0xFFFFFFFF
    message = header + struct.pack('>I', crc)
    test_vectors.append({
        'name': 'valid_minimal',
        'data': message.hex(),
        'expected': 'PARSE_OK',
        'description': 'Valid message with no payload'
    })

    # Test 2: Valid message with payload
    payload = b'Hello, World!'
    header = struct.pack('>BBBBI',
        0xAB, 0x01, 0x02, 0x00, len(payload)
    )
    data = header + payload
    crc = zlib.crc32(data) & 0xFFFFFFFF
    message = data + struct.pack('>I', crc)
    test_vectors.append({
        'name': 'valid_with_payload',
        'data': message.hex(),
        'expected': 'PARSE_OK',
        'description': 'Valid message with text payload'
    })

    
    header = struct.pack(, , , , , )
    crc = zlib.crc32(header) & 
    message = header + struct.pack(, crc)
    test_vectors.append({
        : ,
        : message.(),
        : ,
        : 
    })

    
    header = struct.pack(, , , , , )
    message = header + struct.pack(, )
    test_vectors.append({
        : ,
        : message.(),
        : ,
        : 
    })

    
    header = struct.pack(, , , , , )
    test_vectors.append({
        : ,
        : header.(),
        : ,
        : 
    })

     test_vectors

MCP Server Integration

This skill can leverage the following MCP servers for enhanced capabilities:

Server	Description	Integration
protoc-gen-go-mcp	Protocol Buffers to MCP translation	gRPC service generation
gRPC-to-MCP Proxy	MCP to gRPC protocol translation	Enterprise connectivity

Best Practices

1. Define clear message boundaries - Use length prefixes or delimiters
2. Include version fields - Enable protocol evolution
3. Use checksums - Detect corruption in transit
4. Handle partial reads - Stream parsing for TCP
5. Document bit layouts - Clear specification reduces bugs
6. Generate test vectors - Comprehensive test coverage

Process Integration

This skill integrates with the following processes:

• binary-protocol-parser.js - Binary protocol parsing
• custom-protocol-design.js - Custom protocol design
• protocol-state-machine.js - State machine implementation
• message-framing.js - Message framing strategies

Output Format

When executing operations, provide structured output:

{
  "operation": "parse",
  "protocol": "custom-v1",
  "status": "success",
  "message": {
    "type": "DATA",
    "flags": ["COMPRESSED"],
    "payloadLength": 1024,
    "crcValid": true
  },
  "bytesConsumed": 1036,
  "artifacts": ["parser.c", "protocol.h"]
}

Constraints

• Validate all inputs before parsing
• Handle malformed data gracefully
• Set maximum payload limits
• Log parsing errors for debugging
• Test with fuzzing inputs