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'est-ce que 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 avec~Claude Code~Codex CLI~Cursor
npx skills add morsechimwai/lemmaly

Installed? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Demander à votre IA préférée

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

Documentation

Que fait lemmaly ?

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

Skills associés