jarvi3-themis-g-programbench-clean4 kyal102 · COMPLETED
Jarvi3: Themis-G cleanroom ProgramBench submission with DTL/SuperMath verification rails and failure-to-next-action methodology.
github.com/kyal102/jarvi3-themis-g-programbench-clean4 · ★ 4 · Forks 0 · Size 10.4 MB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 4
Skips 0
COVERAGE
Analyzed 21 files · 14 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
JSON LANGUAGE Depth 70
13 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Elasticsearch DATABASE Depth 72
2 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-08-05
Last commit 2026-08-06
Active months 1
Commits 14