crucible-tests

Name: crucible-tests
Availability: InStock
Rating: 4.8 (50 reviews)
Author: nathanial

Write unit tests using the Crucible test framework for Lean 4 projects. Use when creating tests, add

作者 nathanial|オープンソース

crucible-tests - Claude Code・Cursor 対応の AIエージェント Skill | Agent Skills