No red flags found in any of the 11 categories — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against the SlowMist agent-security taxonomy, refreshed every 8 hours. Full audit →
by meituan-longcat · Agent Tool · ★ 94
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
🔒 Is LongCat-Flash-Prover safe to install? View the security audit →
LongCat-Flash-Prover
| Stars | 94 |
| Forks | 13 |
| Language | Python |
| Category | Agent Tool |
| License | MIT |
| Quality Score | 61.5353776617537/100 |
| Open Issues | 1 |
| Last Updated | 2026-05-09 |
| Created | 2026-03-20 |
| Platforms | python |
| Est. Tokens | ~476k |
Looking for a LongCat-Flash-Prover alternative? If you're comparing LongCat-Flash-Prover with other agent tool tools, these 2 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
A Claude Code skill that turns PDFs, docs, and codebases into Obsidian study vaults
Power rename/refactor tool for CLI and agent use
Explore other popular agent tool tools:
LongCat-Flash-Prover is A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and Proving through agentic tool-integrated reasoning.. It is categorized as a Agent Tool with 94 GitHub stars.
LongCat-Flash-Prover is primarily written in Python.
You can find installation instructions and usage details in the LongCat-Flash-Prover GitHub repository at github.com/meituan-longcat/LongCat-Flash-Prover. The project has 94 stars and 13 forks, indicating an active community.
LongCat-Flash-Prover is released under the MIT license, making it free to use and modify according to the license terms.
The top alternatives to LongCat-Flash-Prover on Agent Skills Hub include tutor-skills, repren. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.
Grades come from a rule-based scan built on the SlowMist agent-security taxonomy, covering 11 red-flag categories including credential harvesting, data exfiltration, and curl | sh installers. It is a first-layer scan, not a manual audit — we say so rather than overstate it.
The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.
Sources & who's responsible: