# leanscreen：面向 Lean 4 语句的保真度对齐评估工具

- 来源：Hacker News 热门（buzzing.cc 中文翻译）
- 作者：asdajksbda
- 发布时间：2026-08-12 03:52
- AIHOT 分数：34
- AIHOT 链接：https://aihot.virxact.com/items/cmsp3o23e04vmrortsnb45nga
- 原文链接：https://www.millenniumresearch.ai/leanscreen.html

## AI 摘要

leanscreen 是一款面向 Lean 4 语句的校准保真度筛查工具，支持命令行和 MCP 使用。它能捕捉那些编译通过但未准确表达数学含义的形式化语句，仅作筛查，不提供认证。

## 正文

站内暂未收录这条内容的完整正文。

> 站内仅提供摘要，全文见原文。