thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / microsoft/z3guide

$ show microsoft/z3guide

[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)

JSON

2236

Markdown

62

JavaScript

19

YAML

6

Python

6

TSX

6

TypeScript

6

CSS

4

Dockerfile

2

Git Ignore

2

HTML

1

Other (no ext)

1

Files by Type (size)

Other (.wasm)

33MB

JavaScript

5MB

JSON

5MB

Lock File

681KB

Markdown

639KB

Other (.png)

131KB

TSX

32KB

Python

18KB

TypeScript

15KB

Other (.ico)

15KB

Other (.mjs)

12KB

YAML

11KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled