ND Mistral Releases Leanstral (mistral.ai)
623 points by Poudlardo 17 hours ago | 138 comments on HN ~lite vlite-2.0
Summary ~lite
Mistral AI releases Leanstral, an open-source code agent for Lean 4.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal 533 HN snapshots · 42 evals
+1 0 −1 HN
Audit Trail 62 entries
2026-03-17 13:47 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 13:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 13:43 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 13:43 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 13:43 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 12:47 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 12:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 12:44 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:44 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 12:44 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 12:12 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 12:12 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 12:09 credit_exhausted Credit balance too low, pausing provider for 30 min - -
2026-03-17 12:06 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:06 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 12:06 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 11:35 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 11:35 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 11:31 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 11:31 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 11:31 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:56 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 10:56 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 10:54 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 10:54 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 10:54 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:22 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 10:22 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 10:18 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 10:18 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 10:18 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 09:41 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 09:41 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 09:39 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 09:07 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 09:05 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 08:29 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 08:26 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 07:52 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 07:51 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 07:17 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 07:17 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 06:42 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 06:42 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 06:07 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 06:07 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 05:32 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 05:32 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 04:57 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 04:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 04:22 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 04:22 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 03:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 03:47 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 03:12 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 03:12 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 00:48 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 00:47 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 00:05 eval Evaluated by llama-3.3-70b-wai-psq: +0.12 (Mild positive)
2026-03-17 00:01 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Technical AI release announcement
2026-03-16 23:04 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive)
2026-03-16 23:04 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical content on AI and coding, no explicit human rights discussion