FStarLang AI Skills

GitHub ↗

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

Statistiques de l’auteur

Skills indexés

1

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

2,980

Forks du dépôt

250

Moyenne des étoiles par skill indexé

2,980

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

Explorer

FSGitHub

smtprofiling

FStarLang

Debug F* queries sent to Z3, diagnosing proof instability and performance issues

☆ 2,980Voir 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é.