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.
Enable AI to monitor your screen and provide proactive assistance based on your current activity using Claude Vision.
Recently updated agent skill repository for Sx Claude Skills.
General-purpose engineering discipline plugin for Claude Code. 17 skills, 6 agents, 51 commands.
Agent skill repository: mostafaabdelrazek/Claude-skills
Automate Recruitee tasks via Rube MCP (Composio). Always search tools first for current schemas.
A portable agent skill for learning something while you wait.