Skip to content

Marketplace

Everything your AI needs, in one place.

Ready-made agents, skills, personas, prompts, templates and tools. Each one is checked before it goes live, works with any model, and installs in a click. Rate what you use so the best rises to the top.

143.8K
listings
1
installs
0
reviews
38.7K
publishers
15 results
Skill

complexity-cuts

Lower Big-O on existing code via a one-transformation-at-a-time playbook with verify-revert-stop. For new code use lemmaly; for math-level wins escalate to mathguard.

by sickn33skills.sh
Not rated yet
Free
Skill

invariant-guard

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

by sickn33skills.sh
Not rated yet
Free
Skill

lemmaly

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.

by sickn33skills.sh
Not rated yet
Free
Skill

matematico-tao

Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional, álgebr

by sickn33skills.sh
Not rated yet
Free
Skill

mathguard

Math-heavy escalation for n >= 10^6 — Bloom, HyperLogLog, Count-Min, MinHash/LSH, FFT, JL projection, sweep line. Use when classical O(n log n) is the floor and approximate or math wins.

by sickn33skills.sh
Not rated yet
Free
Skill

code-mentor

Comprehensive AI programming tutor for all levels. Teaches programming through interactive lessons, code review, debugging guidance, algorithm practice, project mentoring, and design pattern explorati

by bighardpersonskills.sh
Not rated yet
Free
Skill

optimization-algorithms

Master Optimization Algorithms for machine learning and AI applications. Use when implementing ML models, building AI systems, or working with data-driven solutions. This skill covers fundamental conc

by Sandeeprdy1729GitHub
Not rated yet
Free
Skill

lemmaly

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.

by gabrielmoreiraGitHub
Not rated yet
Free
Skill

invariant-guard

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

by edsonsinfcGitHub
Not rated yet
Free
Skill

invariant-guard

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

by haresh-sai06GitHub
Not rated yet
Free
Skill

invariant-guard

Forces a written function contract, loop invariant, termination argument, and edge-case table before emitting loops or recursion (Boyer-Moore, leftmost binary search, QuickSelect traps). Use when writ

by gabrielmoreiraGitHub
Not rated yet
Free
Skill

mathguard

Math-heavy escalation for n >= 10^6 — Bloom, HyperLogLog, Count-Min, MinHash/LSH, FFT, JL projection, sweep line. Use when classical O(n log n) is the floor and approximate or math wins.

by gabrielmoreiraGitHub
Not rated yet
Free
Skill

mathguard

Math-heavy escalation for n >= 10^6 — Bloom, HyperLogLog, Count-Min, MinHash/LSH, FFT, JL projection, sweep line. Use when classical O(n log n) is the floor and approximate or math wins.

by Elogic360GitHub
Not rated yet
Free
Skill

mathguard

Math-heavy escalation for n >= 10^6 — Bloom, HyperLogLog, Count-Min, MinHash/LSH, FFT, JL projection, sweep line. Use when classical O(n log n) is the floor and approximate or math wins.

by edsonsinfcGitHub
Not rated yet
Free
Skill

matematico-tao

Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional,...

by Akkii88GitHub
Not rated yet
Free
1

Find

Search or browse by kind. Every card shows who made it, how many people installed it and what they think.

2

Install

One click. You get a manifest the router understands, plus copy-paste snippets for the CLI, Python and YAML.

3

Rate and publish

Leave a star rating after you have used it. Made something useful? Publish it - free listings go live immediately.

Prefer the terminal? osr stack apply registry://starter installs the starter template.