thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / model-checking/kani

$ show model-checking/kani

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Rust

1995

Other (no ext)

502

Other (.expected)

475

TOML

248

Shell

125

YAML

120

Markdown

98

Python

26

Git Ignore

7

Text

5

JSON

4

C

3

Files by Type (size)

Rust

4MB

Markdown

640KB

Other (.expected)

206KB

Other (no ext)

154KB

Python

140KB

Shell

136KB

Other (.png)

83KB

YAML

76KB

TOML

73KB

Lock File

71KB

JSON

14KB

C

8KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled