1/3 công cụ
| Danh mục | Trợ lý AI |
| Giá | Mã nguồn mở |
| GitHub Stars | ⭐ 742 |
| Forks | 67 |
| Ngôn ngữ | Shell |
| License | Apache-2.0 |
| Commit gần nhất | 9/9/2026 |
| Mô tả | Coding agent cho bài toán toán học, có thể biến mô tả tự nhiên thành Lean 4 theorem và thử formal proof tự động. |