Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI (via felixyz) — discussion

#formalmethods #vibecoding