ithadam61-boop/LongCat-Flash-Prover

• 类型：github
• 标识：ithadam61-boop/LongCat-Flash-Prover
• 链接：https://github.com/ithadam61-boop/LongCat-Flash-Prover
• 主题：rag, llm-infra
• 主分类：llm-infra
• 形态：tool
• 分类：ai
• Stars：1
• 周增：+0
• 许可：MIT
• 最近提交：2026-09-21
• 简介：Build LongCat-Flash-Prover for fast theorem proving and formal reasoning with LongCat models
• 上次采集：2026-09-21
• 首次采集：2026-09-21
• 待LLM分类：否
• 成熟度：research
• 简介中文：构建 LongCat-Flash-Prover，利用 LongCat 模型进行快速定理证明与形式化推理。
• 场景：theorem-proving、formal-reasoning、prover
• 来源文件：
• [GitHub Search]