Hướng dẫnĐiểm AI 34/100
LeanScreen: Công cụ kiểm chứng độ chính xác cho các mệnh đề Lean 4
LeanScreen là công cụ hỗ trợ kiểm tra độ trung thực của các mệnh đề Lean 4, giúp phát hiện các lỗi logic dù mã nguồn đã biên dịch thành công. Công cụ này hỗ trợ cả dòng lệnh và giao thức MCP, tập trung vào việc sàng lọc thay vì chứng thực toán học.