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.
Agent Skill 设计案例库 — 从已发布 skill 反推产品决策与工程范式，沉淀 AI-native API 设计法则。首个案例：微信读书 Skill 拆解。
Automate Control D tasks via Rube MCP (Composio). Always search tools first for current schemas.
Automate 2chat tasks via Rube MCP (Composio). Always search tools first for current schemas.
Codex skill for checkpoint-gated roadmap audits with explicit NEXT semantics and gate-based auto-advance.
可视化网页工作台 + 本机连接器：把 PDF、Word、PPT、URL 一键整理成本地 AI 助手可接手的 PPT 项目包，输出可编辑 PPTX 或杂志风网页演示
A codex skills, which helps to set up your codex environment along openAI best practice