.github AI-driven formal modeling for real-world systems — synthesizing and benchmarking TLA+ specifications from source code.