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 128 30

2. TauCetiRoadmap TauCetiRoadmap Public

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

   Lean 26 10

3. TauCetiReview TauCetiReview Public

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

   Python 3

4. TauCetiData TauCetiData Public

   Durable archive and evaluation data for Tau Ceti AI code reviews

   Python 2

5. TauCetiProgress TauCetiProgress Public

   Progress reporting for Tau Ceti: per-roadmap status snapshots and append-only progress logs, decided by script and written by AI.

   Python