TopRank Skills
FR
English 简体中文 français

Rechercher

PythonReactSEOPDF

Malaeu AI Skills

GitHub ↗

Explorez les skills IA publiés de Malaeu et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

1

Étoiles des dépôts des skills indexés

0

Forks du dépôt

0

Moyenne des étoiles par skill indexé

0

Les étoiles d’un dépôt peuvent se répéter entre ses skills.

Catégories populaires

tools llm ai1devops llm ai1testing security llm ai1documentation llm ai1content media llm ai1research llm ai1

Indexation récente

aristotle-emulator2026-01-23

1 skills

Explorer

GitHub

aristotle-emulator

Malaeu

Эмулирует рабочий процесс системы Aristotle для автономного доказательства теорем в Lean 4. Принимает на вход утверждение теоремы и опционально — набросок доказательства на естественном языке.

☆ 0Voir le skill

Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.