TopRank Skills
FR
English 简体中文 français

Rechercher

PythonReactSEOPDF

hxrts AI Skills

GitHub ↗

Explorez les skills IA publiés de hxrts 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

aristotle2026-01-20

1 skills

Explorer

GitHub

aristotle

hxrts

Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "aristotle", "prove", "fill sorries", or wants to automatically generate proofs for Lean files with sorry placeholde...

☆ 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é.