input-output-hk/agda-claude-skills

agda-claude-skills とは？

このスキルは、Claude を使用して Agda コードを効率的に操作・管理するためのツールです。Agda は依存型を持つ関数型プログラミング言語であり、定理証明にも用いられます。このスキルにより、Agda コードの解析、リファクタリング、ドキュメント生成などが可能になります。主に Claude Code や Cursor などの AI エージェント環境で動作し、開発者の生産性を大幅に向上させます。具体的には、Agda の構文に基づいたコード補完やエラーチェック、モジュール構造の理解支援などを提供します。