TauCetiProject

Popular repositories Loading

1. TauCeti TauCeti Public

   An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

   Lean 205 80

2. TauCetiRoadmap TauCetiRoadmap Public

   Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Lean 37 36

3. TauCetiReview TauCetiReview Public

   Review rubrics and machinery for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Python 6 8

4. TauCetiWorker TauCetiWorker Public

   Python 6 9

5. TauCetiData TauCetiData Public

   Durable archive and evaluation data for Tau Ceti AI code reviews

   Python 2

6. tauceti-claims tauceti-claims Public

   Cooperative task leases for Tau Ceti workers. Holds refs/tauceti-claims/* and nothing else.

   1