# Wunderspec

Wunderspec is a Python framework for executable protocol specs with formal-methods foundations.

It is designed for senior systems engineers, security researchers, and systems architects who need protocol specifications that can be executed, checked, translated, and read by both humans and LLMs.

Primary discovery phrase: executable protocol specs.

Related tools and languages: TLA+, Quint, FizzBee.

Core topics: protocol specification framework, Python specifications, formal methods, executable specifications, invariant checking, model checking, systems design, security research.

Useful URLs:

- Home: https://wunderspec.com/
- 5-bullet system assessment: https://wunderspec.com/diagnosis/
- DevConf workshop materials: https://wunderspec.com/devconf/
- GitHub access: https://wunderspec.com/access/