FStarLang AI Skills

GitHub ↗

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

Author statistics

Indexed skills

1

Repository stars across indexed skills

2,980

Repository forks

250

Average repository stars per indexed skill

2,980

Repository stars may repeat across skills from the same repository.

Browse skills

FSGitHub

smtprofiling

FStarLang

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

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