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.

関連スキル