Dafny verifies proofs; claimcheck confirms intent.
Stars
19
Forks
2
Watchers
Open Issues
0
Overall repository health assessment
^0.39.0
^0.14.4
User
184
commits
0.3.0
98c27c2
support for google cloud / vertex ai
59ff365
install from package
b93ad5b
0.2.0
c3e550d
also claimcheck methods
5ff8bc5
publish public
0b89bf1
pub
f08cb41
inc
8e57e26
check multiple files
64614d0
rewrite to use structured outputs like API
59622b4
assorted fixes
918c3e5
refactoring to use claude code instead of API. it's much slower but works too.
3c78dda
Add blog post link to README
b7cd6b0
with opus
24b1ef5
two-pass with claude
0c233d1