main
patallm-gallery
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
llm-tools\verify\test\Spec.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Report.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\PropertyExtraction.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Rust.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Haskell.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Ada.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Internal\Types.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Internal\SMTLIB.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Internal\AST.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Feedback.hs
 1 1
A
llm-tools\verify\src\ClaudeVerify\EchidnaClient.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Config.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify.hs
 1 -
A
llm-tools\verify\hooks\validate-spdx.sh
 2 -
A
llm-tools\verify\hooks\validate-sha-pins.sh
 2 1
A
llm-tools\verify\hooks\validate-permissions.sh
 2 -
A
llm-tools\verify\hooks\validate-codeql.sh
 2 1
A
llm-tools\verify\app\Main.hs
 1 -
A
llm-tools\verify\.github\workflows\terraform.yml
 4 -
A
llm-tools\verify\.github\workflows\super-linter.yml
 4 -