CommunityCodierung & Entwicklunggithub.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.

Was ist 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.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add morsechimwai/lemmaly

Installed? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

In Ihrer bevorzugten KI fragen

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

Dokumentation

Was macht lemmaly?

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

Verwandte Skills