morsechimwai/lemmaly
The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
npx skills add morsechimwai/lemmalyThe proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
Claude Code skill: reclaim Docker Desktop WSL2 disk space on Windows
>
A single SKILL.md file to improve Claude Code memory, derived from Timeln's second brain capability to remember everything.
Create ASP.NET Minimal API endpoints with proper OpenAPI documentation
实用技巧合集
Multi-domain agent skills collection for AI coding agents (Claude, Cursor, Copilot, OpenCode, and more). Covers programming, biology, cooking, and future domains. Installable via npx skills add.