Search
Agent Workflows · By benchflow-ai
4 skills found.
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 | Run agent benchmarks, create tasks, analyze results, and manage agents using BenchFlow. | benchflow-ai/ | 356 | — | ~1.9k | Automated safety check: Notes | Apache-2.0 | 5 days ago |
| 3 | 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 |
| 4 | 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 |
