prooflint 3nesdeniz · PARTIAL
Local-first evidence gate for AI-security findings: deterministic rules, tamper-evident manifests, and JSON/SARIF output.
github.com/3nesdeniz/prooflint · ★ 0 · Forks 0 · Size 148 KB
SUMMARY
Technologies 10
Scored 8
Observed 8
Practices 6
Evidence 11
Skips 2
COVERAGE
Analyzed 43 files · 3 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
5 files · PRODUCTION
Markdown LANGUAGE Depth 70
6 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
2 files · PRODUCTION
Python LANGUAGE Depth 70
22 files · PRODUCTION
uv BUILD_TOOL Depth 80
1 files · CONFIGURATION
Poetry BUILD_TOOL Depth 80
1 files · CONFIGURATION
Ruff QUALITY Depth —
0 files · config only
mypy QUALITY Depth —
0 files · config only
pytest TESTING Depth 74
7 files · PRODUCTION, TEST
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · observedformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-07-26
Last commit 2026-09-27
Active months 2
Commits 3