Agent skills you can check before you install
Public SKILL.md skills from GitHub repositories with 50+ stars and from the vendors themselves, scanned and scored. Install any of them with one command in Claude Code, Cursor, Codex, GitHub Copilot or Gemini CLI.
49,501 skills from 2,391 repositories · updated 6 minutes ago
10,573 skills
- 3d-lightingSummerEngine/summerLight a 3D scene: sun, omni and spot lights, WorldEnvironment, sky, shadows and ambient.OtherReview first★ 91↓ —
- ambient-bedSummerEngine/summerGenerate a long looping location ambience (forest, dungeon, city, cave) on the Ambient bus.OtherReview first★ 91↓ —
- concept-artSummerEngine/summerExplore art direction with 3-4 rough concept variants of a character, environment or prop.OtherReview first★ 91↓ —
- multiplayer-projectSummerEngine/summerSet up a Summer multiplayer project: entry scenes, World and queue files, joining, a first Local Play.OtherReview first★ 91↓ —
- multiplayer-publishSummerEngine/summerShip a hosted Summer multiplayer game: the bundle, server preset, pre-upload checks, a new Build.OtherReview first★ 91↓ —
- summer-leaderboardsSummerEngine/summerLeaderboards in a Summer game: queue ratings from matches, and Game rankings your authority scores.OtherReview first★ 91↓ —
- summer-storeSummerEngine/summerSell Summer items for Sparks: shop, checkout, slugs, bundles, sales, owned items, summer.items.json sync.OtherReview first★ 91↓ —
- vfx-dissolveSummerEngine/summerDissolve effect: a mesh burns away with a glowing edge, from a noise-threshold ShaderMaterial.OtherReview first★ 91↓ —
- summer-board-to-gameSummerEngine/summerBring a Summer Board's typed cards into the game as Godot Resources, load them through BoardData, and keep board and game in step.OtherReview first★ 91↓ —
- summer-match-resultsSummerEngine/summerEnd a Summer match: report each player's win, loss or draw, show results on clients, then close the World.OtherReview first★ 91↓ —
- vfx-hit-sparkSummerEngine/summerHit-spark effect: a one-shot burst of additive particles oriented to the surface, fired on impact.OtherReview first★ 91↓ —
- playtesting-a-featureSummerEngine/summerBefore calling a gameplay feature done, run the game and walk through it. Static checks do not count.OtherReview first★ 91↓ —
- instantiate-asset-packSummerEngine/summerLay out a whole create-asset-sheet pack in the scene: composites, paint order, Sprite2D and NinePatch.OtherReview first★ 91↓ —
- export-and-shipSummerEngine/summerPrepare a game export: check templates and targets, validate release assets, build after approval.OtherReview first★ 91↓ —
- browse-templatesSummerEngine/summerList Summer Engine project templates, present the choices, and create a project from the chosen one.OtherReview first★ 91↓ —
- agent-playtestingSummerEngine/summerPlaytest by driving the live game: deterministic launch, frame-stamped probes, scripted or recorded input.OtherReview first★ 91↓ —
- multiplayer-stateSummerEngine/summerAuthority-owned state in Summer multiplayer: shared and private State groups, Commands, Events.OtherReview first★ 91↓ —
- release-readinessSummerEngine/summerProve players can play a Summer release: server, online join, progress, files.OtherReview first★ 91↓ —
- world-building-3dSummerEngine/summerCompose, ground and space 3D scenes with Summer's four spatial tools, one geometric decision at a time.OtherReview first★ 91↓ —
- fabricating-assetsSummerEngine/summerFabricate meshes with a Blender script (summer_fabricate_3d): exact-size kits, VFX meshes, post-processing.OtherReview first★ 91↓ —
- headless-scriptingSummerEngine/summerRun a GDScript file against Summer Engine from the shell for what no MCP tool does: navmesh, TileSets.OtherReview first★ 91↓ —
- multiplayer-projectSummerEngine/summerSet up a Summer multiplayer project: entry scenes, World and queue files, joining, a first Local Play.OtherReview first★ 91↓ —
- multiplayer-publishSummerEngine/summerShip a hosted Summer multiplayer game: the bundle, server preset, pre-upload checks, a new Build.OtherReview first★ 91↓ —
- diagnosing-perf-regressionsSummerEngine/summerFind why frame rate, frame time or load time got worse since a known-good state.OtherReview first★ 91↓ —
evo-lean4-recursive-sequence-inequality-proof
OpenLAIR/OpenSkill
OtherUpdated Sep 10, 2026
From the author
Provides utilities and guidance for constructing Lean 4 proofs involving recursive sequences and geometric sum inequalities. Covers reading existing Lean template files, crafting induction-based proofs with closed-form intermediate lemmas, and using math2001 textbook tactics (simple_induction, numbers, addarith, extra, rel) plus Mathlib4 tactics (norm_num, linarith, positivity, ring, field_simp) to handle arithmetic over rationals with powers of 2.
Install
npx skills add OpenLAIR/OpenSkill --skill evo-lean4-recursive-sequence-inequality-proof -a claude-code
Installs to .claude/skills/evo-lean4-recursive-sequence-inequality-proof/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
What it can touch
Runs bundled scriptsNo network use seenLicence: APACHE-2.0
Safety checks on SKILL.md
- Ships scripts we have not reviewedLow
Why 75
Security85
Provenance64
Maintenance85
Licence100
Adoption34
Files (2)
- SKILL.md
- scripts/utils.py