Browsing:

Browse and install thousands of AI Agent skills in the Killer-Skills directory. Supports Claude Code, Windsurf, Cursor, and more.

// Popular: [PDF Processing] [Data Analysis] [Web Scraping] [Code Review]
1 available skills

lean-array-list

Logo of kim-em
kim-em

lean-array-list is a skill that provides proof patterns for ByteArray, Array, and List indexing in Lean 4, enabling efficient data manipulation.

★ 38
⑂ 0
Developer