#code-agents

Mistralは2026年3月16日、Lean 4専用のオープンソースコードエージェントLeanstralを発表した。6B active parameters、Apache 2.0、FLTEval、Mistral VibeとAPIおよびweights公開が柱になっている。