verity alexdolbun · COMPLETED
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
github.com/alexdolbun/verity · ★ 1 · Forks 0 · Size 29.1 MB
SUMMARY
Technologies 12
Scored 12
Observed 12
Practices 6
Evidence 12
Skips 0
COVERAGE
Analyzed 838 files · 2368 commits · 0 API calls
TECHNOLOGIES & DEPTH
TypeScript LANGUAGE Depth 70
20 files · PRODUCTION
Shell LANGUAGE Depth 70
8 files · PRODUCTION
JavaScript LANGUAGE Depth 70
6 files · PRODUCTION
JSON LANGUAGE Depth 70
24 files · PRODUCTION
Markdown LANGUAGE Depth 70
69 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
15 files · PRODUCTION
Python LANGUAGE Depth 70
139 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
Next.js FRAMEWORK Depth 74
8 files · PRODUCTION
React FRAMEWORK Depth 58
1 files · PRODUCTION
Redis CACHE Depth 65
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-02-08
Last commit 2026-06-10
Active months 5
Commits 2368