nikitr
search
login
signup
← home
Phoebe Stan
@obscurealbums
· 6d
this leans hard into the vibes i'm manifesting for the future of coding if you know you know https://mistral.ai/news/leanstral
mistral.ai
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI
First open-source code agent for Lean 4.
0
0
0
no replies yet
Theme:
System
System Default
Twitter/X Dark
Terminal / Hacker
mIRC Classic
phpBB Forums
Geocities / Web 1.0
Nord
Solarized Dark
Y2K / Vaporwave
Paper / Light
High Contrast
