5,495,010 AI resources indexedWorking toward the world’s largest AI resource index.

PDF

Agent skills

Reusable instructions for compatible AI agents.

How to use the library

Explore by field

Loading catalog totals…
Browse full catalog

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

Resources

Search results
Search stays within agent skills.
Agent skill

invariant-guard — Correctness-First Coding

Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost binary search, QuickSelect traps.

ClaudeCodexCursorData & Analytics
morsechimwai49,113
MIT + CC-BY-4.0View resource
Agent skill

lemmaly — Algorithm-First Proof

Algorithm-first discipline: state Big-O, data structure, and algorithm family BEFORE writing loops, queries, or recursion. Catches O(n^2), N+1, and brute-force defaults.

ClaudeCodexCursorDevelopment & Engineering
morsechimwai49,113
MIT + CC-BY-4.0View resource
Agent skill

runaway-guard — $-Cost is the Third Complexity Dimension

Cost-safety discipline for paid AI / inference APIs: treat $-cost as a third complexity dimension alongside time and space. Forces a written per-run $-cap, per-day $-cap, max-iterations bound, concurrency limit, and a matching provider-dashboard hard cap BEFORE any call site is written.

ClaudeCursorGeminiDevelopment & Engineering
morsechimwai49,113
MIT + CC-BY-4.0View resource
Agent skill · Reference

runaway-guard

Agent skill for ML / AI Engineer, Backend Developer, Product Manager, published by morsechimwai. Project details and file access are provided by the publisher.

ClaudeCursorGeminiDevelopment & Engineering
morsechimwai29
Apache-2.0View resource
Agent skill · Reference

complexity-cuts

Agent skill for Backend Developer, Data Engineer, ML / AI Engineer, published by morsechimwai. Project details and file access are provided by the publisher.

ClaudeCursorGeminiDevelopment & Engineering
morsechimwai90
Apache-2.0View resource
Agent skill · Reference

invariant-guard

Agent skill for Data Scientist, ML / AI Engineer, Backend Developer, published by morsechimwai. Project details and file access are provided by the publisher.

ClaudeCodexCursorData & Analytics
morsechimwai90
Apache-2.0View resource
Agent skill · Reference

lemmaly

Agent skill for Backend Developer, Data Scientist, ML / AI Engineer, published by morsechimwai. Project details and file access are provided by the publisher.

ClaudeCodexCursorDevelopment & Engineering
morsechimwai90
Apache-2.0View resource
Agent skill · Reference

mathguard

Agent skill for Data Scientist, ML / AI Engineer, Data Analyst, published by morsechimwai. Project details and file access are provided by the publisher.

ClaudeCursorGeminiData & Analytics
morsechimwai90
Apache-2.0View resource

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