<< Back to voyager
cbirkbeck/mathlib-quality/voyagerskill versions
3 skill versions publishedCompare skill versions
v1.0.2currentAutomated scan4d ago
docs(voyager): significance gate falls back to the second OpenAI account via gate.sh (v0.73.3) (#31)
sha256:c07c7c1dac51
v1.0.1Automated scan14d ago
docs(taupr+tauceti): the target marker is for authoring, not for refactors (v0.73.1)
sha256:04f342beb861
v1.0.0Automated scan100/1001mo ago
sha256:e1c506bbdcc7