5,439,159 AI resources indexedWorking toward the world’s largest AI resource index.
Reusable instructions for compatible AI agents.
Field counts come from the latest full-catalog snapshot. A resource can belong to several fields and platforms.
Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.
AI software team for Claude Code - 138 agents, 295 skills, 73 hooks. Self-learning, multi-agent swarm, autonomous skill evolution.
AI software team for Claude Code - 138 agents, 295 skills, 73 hooks. Self-learning, multi-agent swarm, autonomous skill evolution.
AI software team for Claude Code - 138 agents, 295 skills, 73 hooks. Self-learning, multi-agent swarm, autonomous skill evolution.
LLM agent for formal theorem proving in Lean 4
Agent skill for ML / AI Engineer, Data Scientist, Product Manager, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for Researcher, ML / AI Engineer, Data Scientist, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for Researcher, ML / AI Engineer, Data Scientist, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for Researcher, ML / AI Engineer, Data Scientist, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for Data Scientist, ML / AI Engineer, Researcher, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for ML / AI Engineer, Data Scientist, Researcher, published by majiayu000. Project details and file access are provided by the publisher.
Agent skill for ML / AI Engineer, Data Scientist, Product Manager, published by majiayu000. Project details and file access are provided by the publisher.
Try a broader search or clear some filters.
Platform labels describe intended use. Read each resource's author credits, requirements and available access methods.