insomniacslk / dhcp

DHCPv6 and DHCPv4 packet library, client and server written in Go

sysprog21 / frama-c-mcp

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration