Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
cameronfreer
Perfil de criador do GitHub

cameronfreer

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/cameronfreermaior repositório: lean4-skills
skills coletadas
1
repositórios
1
atualizado
2026-07-04
mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

#01
lean4-skills
1 skills · 2026-07-04
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
100%participação
explorador de repositórios

Repositórios e skills representativas

#001
lean4-skills
1 skills32738atualizado 2026-07-04
100% do criador
lean4
Desenvolvedores de software

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving a Lean statement, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger for Coq/Rocq, Agda, Isabelle, HOL4, Mizar, Idris, Megalodon, or other non-Lean theorem provers.

2026-07-04
Mostrando 1 de 1 repositórios
Todos os repositórios foram exibidos