jcreinhold/lean-rs-skills

lean-rs-skills とは？

このスキルは、Rust と Lean 4 を専門とする開発者向けに設計された Claude Code プラグインです。深いモジュール設計、パフォーマンス最適化、テスト手法、テクニカルライティング、マクロ作成など、ソフトウェア開発の中核的なクラフトスキルを提供します。特に、型安全性、メモリ管理、関数型プログラミングの原則に重点を置き、Rust の所有権システムや Lean 4 の定理証明機能を活用した堅牢なコードベース構築を支援します。Claude Code 上で動作し、コード生成、リファクタリング、ドキュメント作成、テストスイートの作成を効率的に行うための指示やテンプレートを含みます。このスキルにより、開発者は高品質な Rust および Lean 4 プロジェクトを迅速に開発できるようになります。