Community코딩 & 개발github.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.

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.

지원 대상~Claude Code~Codex CLI~Cursor
npx skills add morsechimwai/lemmaly

Installed? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

즐겨 사용하는 AI에게 물어보기

이 에이전트 스킬이 미리 로드된 새 채팅을 엽니다.

문서

lemmaly은(는) 무엇을 하나요?

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

관련 스킬