morsechimwai/lemmaly

lemmaly とは？

LemmalyはAIエージェント（Claude Code、Cursor、Codexなど）向けのスキルで、コード生成前に形式的な証明レイヤーを強制します。このスキルは、開発者がアルゴリズムの選択を明示的に宣言し、時間/空間複雑性を計算し、コードの不変条件を文書化することを要求します。これにより、AIが生成したコードの信頼性と検証可能性が大幅に向上します。Lemmalyは既存のAIコーディングワークフローにシームレスに統合され、コードレビューとテストの前に設計上の決定が明確に記録されることを保証します。主な利点は、推測に基づく実装を防ぎ、すべての複雑性のトレードオフが明示されることで、本番環境でのデバッグと保守が容易になることです。