站内暂未收录这条内容的完整正文。
leanscreen：面向 Lean 4 语句的保真度对齐评估工具
AI 导读
leanscreen 是一款面向 Lean 4 语句的校准保真度筛查工具，支持命令行和 MCP 使用。它能捕捉那些编译通过但未准确表达数学含义的形式化语句，仅作筛查，不提供认证。
站内暂未收录这条内容的完整正文。
来源：Hacker News 热门（buzzing.cc 中文翻译）· millenniumresearch.ai
Hacker News 热门（buzzing.cc 中文翻译）
34
AI 编辑部评分，满分 100leanscreen：面向 Lean 4 语句的保真度对齐评估工具
leanscreen 是一款面向 Lean 4 语句的校准保真度筛查工具，支持命令行和 MCP 使用。它能捕捉那些编译通过但未准确表达数学含义的形式化语句，仅作筛查，不提供认证。
来源：Hacker News 热门（buzzing.cc 中文翻译） · millenniumresearch.ai