acornprover AI Skills

GitHub ↗

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

Author statistics

Indexed skills

2

Repository stars across indexed skills

102

Repository forks

34

Average repository stars per indexed skill

51

Repository stars may repeat across skills from the same repository.

Browse skills

ACGitHub

explicate

acornprover

Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.

☆ 51View skill ↗

ACGitHub

acorn-installation

acornprover

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn installed or when the user needs to set up Acorn for the first time.

☆ 51View 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.