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.
A Claude / OpenClaw Skill for designing other skills. Can't articulate your idea? It guides you through structured discussion to eliminate ambiguity, then generates a complete skill directory with versioning and changelogs.
Enhance LLM agents with practical skills for neurodivergent support, focus, and communication to improve AI coding assistance and interaction quality.
Skill-powered AI agents implementing the Agent Skills specification with pydantic-ai
Official skill.md for AI agents (claude, codex) to boost your Allay plugin development!
OpenClaw skill bundle: end-to-end US-stock options trading workflow with news context integration. Bundles 2 custom skills (stock-news-context + options-trading-agent) and an installer; depends on 4 ClawHub skills (options-spread-conviction-engine / options-analyzer / stock-info-explorer / buffett).
A collection of Claude Agent Skills for auditing multi-cloud resources, quotas, and high-risk assets.