Leanstral: Open-Source foundation for trustworthy vibe-coding Link: https://mistral.ai/news/leanstral Discussion: https://news.ycombinator.com/item?id=47404796