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 add-skill morsechimwai/lemmalyThe proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
Automate Clearout tasks via Rube MCP (Composio). Always search tools first for current schemas.
Agentic runtime | Multi-provider concurrent dispatch | Self-improving error memory | Pluggable tool extensions | Sandbox execution
Codex skill for concept understanding diagnosis, mastery tracking, and targeted study loops.
A .NET CLI tool to install AI agent skills from GitHub, NuGet, npm, or local folders into Claude Code, Cursor, Codex & friends. dnx agentskills.
🧠 Build AI systems effectively with this comprehensive guide for interviews and production insights. Access clear strategies and practical advice.
Automate Gemini tasks via Rube MCP (Composio). Always search tools first for current schemas.