GitHub organization
Agent skills by frenzymath
- skills
- 17
- repositories
- 2
Repositories by frenzymath
Skills by frenzymath, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Lean4 A skill your agent uses when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas… | frenzymath/ | 222 | — | ~4.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Validate externally referenced theorems by querying arXiv theorem search first and Codex's built-in web search second. | frenzymath/ | 475 | — | ~852 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Construct candidate counterexamples to test a proposed conjecture, lemma, or intermediate claim by keeping the assumptions true while making the claimed conclusion fail. | frenzymath/ | 475 | — | ~790 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 4 | Generate and analyze simpler examples that satisfy both the assumptions and the conclusion of a theorem statement or subgoal. | frenzymath/ | 475 | — | ~541 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 5 | Screen a decomposition plan by first trying to prove all of its subgoals directly, then identifying the key stuck points if the plan does not fully go through. | frenzymath/ | 475 | — | ~1.3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 6 | Synthesize the common stuck points across failed decomposition plans. | frenzymath/ | 475 | — | ~586 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 7 | Derive immediate mathematical consequences from a theorem statement or subgoal. | frenzymath/ | 475 | — | ~587 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 8 | Propose multiple subgoal decomposition plans for the current theorem using the information already gathered. | frenzymath/ | 475 | — | ~580 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 9 | Find program-conditioned math results, constructions, examples, counterexamples, analogies, and background references. | frenzymath/ | 475 | — | ~3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 10 | Verify a markdown proof in the order it is written. An agent skill from frenzymath/Danus. | frenzymath/ | 475 | — | ~798 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 11 | 11.Write Paper Turn a project's verified fact graph into a publishable LaTeX paper in a configurable house style — a standalone amsart .tex with a real bibliography, compiled to PDF. | frenzymath/ | 475 | — | ~18k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 12 | Write a human-readable mathematical progress report (compiled PDF) on a project for the operator / the mathematician who posed the problem. | frenzymath/ | 475 | — | ~1.7k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 13 | 13.Initialize First-run setup interview for a Danus deployment. An agent skill from frenzymath/Danus. | frenzymath/ | 475 | — | ~1.4k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 14 | 14.Query Memory Recall what is already known — your own prior reasoning, the swarm's shared findings (including dead ends and verifier feedback), and the verified facts — before doing new work. | frenzymath/ | 475 | — | ~784 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 15 | Aggregate all detected errors and gaps into the final verification report, apply strict accept/reject logic, and produce repair hints when rejected. | frenzymath/ | 475 | — | ~634 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 16 | 16.Verify Proof Verify a result and, on acceptance, write it as a fact — via the factsubmit tool. | frenzymath/ | 475 | — | ~1.4k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 17 | 17.Elaboration Write a high-signal mathematical synthesis from global memory and the fact graph for the Codex main agent's own strategy and worker dispatch. | frenzymath/ | 475 | — | ~3.7k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
Questions, answered from the data.
What is the best skill by frenzymath?
Lean4 from frenzymath/Archon ranks first of the 17 skills by frenzymath listed here, with the highest score: its repository has 222 GitHub stars, its SKILL.md loads about 4.2k tokens and it passes the automated safety check with no findings. Next come Check Referenced Statements and Construct Counterexamples.
Are frenzymath's skills official?
None yet. All 17 skills by frenzymath listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.