OpenAgentSkill
GitHub200+

OPENAGENTSKILL / DIRECTORY

AI Agent Skills

Trouvez un skill pour votre prochaine tâche avec Codex, Claude Code, Cursor et plus encore.

Résultats · “beam”

1 Skills

RechercheRéinitialiser

Résultats: 1

Téléchargements ici

Fichiers fournis ici depuis le 14 octobre 2026. Une fois par compte connecté, Skill et jour UTC. Hors sites externes, copies de commandes et installations. Mise à jour sous 5 minutes.

Recherche

No visual example yet

Explore the skill

lean-beam

leanprover

Use this when an AI should work on an external Lean project through the installed `lean-beam` wrapper, giving it direct efficient access to Lean's proof engine to avoid…

Prix non confirméRechercheClaude Code
27GitHub
Voir le skill0Téléchargements ici

Guides et comparaisons

Pour les développeurs