certora novae-dev · PARTIAL
github.com/novae-dev/certora · ★ 0 · Forks 0 · Size 77 KB
SUMMARY
Technologies 5
Scored 4
Observed 4
Practices 14
Evidence 23
Skips 2
COVERAGE
Analyzed 37 files · 3 commits · 62 API calls
Skips: HISTORY_REFINEMENT_LIMIT
TECHNOLOGIES & DEPTH
React FRAMEWORK Depth 74
15 files · PRODUCTION
React Router LIBRARY Depth 74
14 files · PRODUCTION
Tailwind CSS LIBRARY Depth —
0 files · config only
TypeScript LANGUAGE Depth 74
11 files · PRODUCTION
Vite BUILD_TOOL Depth 36
1 files · PRODUCTION
PRACTICES
ci_dependency_cache · absentci_format_check · absentci_lint · absentci_release_automation · absentci_runs_tests · observedci_security_scan · absentci_type_check · absentcontinuous_integration · observeddatabase_migrations · observeddocumentation · observeddocumentation_source_ratio · observedmodule_test_ratio · observedtest_source_ratio · observedtype_checking · observed
ACTIVITY & OWNERSHIP
First commit 2026-08-14
Last commit 2026-08-14
Active months 1
Commits 3