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.
AI skills for agentic education
Local-first desktop observer for OpenAI Codex settings, sessions, memories, skills, plugins, threads, and logs.
Automate Affinda tasks via Rube MCP (Composio). Always search tools first for current schemas.
Creates language variants of existing Semgrep rules. Use when porting a Semgrep rule to specified target languages. Takes an existing rule and target languages as input, produces independent rule+test directories for each language.
HomeSinKorea Claude Code 팀 공유 스킬 모음
Agent Skills for Spec Driven Development