Mistral、オープンソースのLean 4コーディングエージェントLeanstralを公開

入選の記録

入選二回の合計 120 ≥ 基準の 2 倍 120

情報源の区分

公式・一次情報、この区分の基準は 60 点

予備審査

通過：发布开源代码AI智能体Leanstral及评测

推薦理由

Lean 4向けエージェントの費用と得点をClaudeシリーズやオープンソースモデルと比較し、形式検証の費用対効果を判断できる。

採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。