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

Interface with Isabelle/HOL for classical mathematics formalization

ClaudeCodexOpenClawData & Analytics

a5c-ai1,889

Agent skill · Reference

Agent skill for Researcher, Data Scientist, UX Designer, published by MikeTreml. Project details and file access are provided by the publisher.

Education & Research

MikeTreml

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