Agent skills

Reusable instructions for compatible AI agents.

Explore by field

Loading catalog totals…

Field counts come from the latest full-catalog snapshot. A resource can belong to several fields and platforms.

Search results

Sort by

Agent skill

Unified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, Stellogen

OpenClawData & Analytics

plurigrid72

Platform labels describe intended use. Read each resource's author credits, requirements and available access methods.