Search
Agent Workflows · benchflow-ai/skillsbench
3 skills found.
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences… | benchflow-ai/ | 1.8k | — | ~3.2k | Automated safety check: Pass | Apache-2.0 | 2 mo ago |
| 2 | A skill your agent uses when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for… | benchflow-ai/ | 1.8k | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | 2 mo ago |
| 3 | Local self-check of instructions and mask outputs (format/range/consistency) without using GT. | benchflow-ai/ | 1.8k | — | ~462 | Automated safety check: Pass | Apache-2.0 | 2 mo ago |
