Malaeu AI Skills

GitHub ↗

Browse published AI skills maintained by Malaeu. Compare skill descriptions and follow each source repository for setup instructions.

Author statistics

Indexed skills

1

Repository stars across indexed skills

0

Repository forks

0

Average repository stars per indexed skill

0

Repository stars may repeat across skills from the same repository.

Browse skills

MAGitHub

aristotle-emulator

Malaeu

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

☆ 0View skill ↗

The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.