certora-portfolio-demo- novae-dev · PARTIAL
github.com/novae-dev/certora-portfolio-demo- · ★ 0 · Forks 0 · Size 15.5 MB
SUMMARY
Technologies 6
Scored 5
Observed 5
Practices 6
Evidence 7
Skips 1
COVERAGE
Analyzed 8 files · 3 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
JSON LANGUAGE Depth 70
3 files · PRODUCTION
JavaScript LANGUAGE Depth 70
1 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
React FRAMEWORK Depth 55
1 files · PRODUCTION
Vite BUILD_TOOL Depth —
0 files · config only
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-09-15
Last commit 2026-09-15
Active months 1
Commits 3