CommunityProgramación y desarrollogithub.com

morsechimwai/lemmaly

The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.

¿Qué es lemmaly?

lemmaly is a Claude Code agent skill that the proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.

Compatible con~Claude Code~Codex CLI~Cursor
npx skills add morsechimwai/lemmaly

Installed? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Preguntar en tu IA favorita

Abre un nuevo chat con esta habilidad de agente ya precargada.

Documentación

¿Qué hace lemmaly?

The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.

Skills relacionados