Skip to content
@TauCetiProject

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 240 101

  2. TauCetiRoadmap TauCetiRoadmap Public

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

    Lean 39 48

  3. TauCetiReview TauCetiReview Public

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

    Python 6 12

  4. TauCetiWorker TauCetiWorker Public

    Python 6 11

  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

Repositories

Showing 10 of 14 repositories
  • tauceti-claims Public

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

    TauCetiProject/tauceti-claims's past year of commit activity
    1 0 0 0 Updated Oct 21, 2026
  • tauceti-roadmap-claims Public

    Cooperative task leases for TauCetiRoadmapWorker. Holds refs/tauceti-claims/* and nothing else.

    TauCetiProject/tauceti-roadmap-claims's past year of commit activity
    0 0 0 0 Updated Oct 21, 2026
  • TauCeti Public

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

    TauCetiProject/TauCeti's past year of commit activity
    Lean 240 Apache-2.0 101 137 467 Updated Oct 21, 2026
  • TauCetiFleet Public

    User-level deployment, CI resource priority, and reporting for TauCeti fleets

    TauCetiProject/TauCetiFleet's past year of commit activity
    Python 0 0 0 0 Updated Oct 21, 2026
  • TauCetiRoadmap Public

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

    TauCetiProject/TauCetiRoadmap's past year of commit activity
    Lean 39 Apache-2.0 48 130 308 Updated Oct 21, 2026
  • TauCetiRoadmapJobs Public

    Job board for TauCetiRoadmapWorker: one issue per roadmap-planning job; packages and reviews live here until a draft PR opens on TauCetiRoadmap

    TauCetiProject/TauCetiRoadmapJobs's past year of commit activity
    Lean 0 1 221 58 Updated Oct 21, 2026
  • TauCetiCI Public

    Durable, queryable records of Tau Ceti's CI runs, and the analyses built on them

    TauCetiProject/TauCetiCI's past year of commit activity
    Python 0 0 0 0 Updated Oct 21, 2026
  • TauCetiReview Public

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

    TauCetiProject/TauCetiReview's past year of commit activity
    Python 6 Apache-2.0 12 9 9 Updated Oct 21, 2026
  • TauCetiWorker Public
    TauCetiProject/TauCetiWorker's past year of commit activity
    Python 6 11 13 10 Updated Oct 21, 2026
  • TauCetiTools Public

    Shared configuration, CI and administration for Tau Ceti projects

    TauCetiProject/TauCetiTools's past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Oct 21, 2026
View all repositories

Most used topics

Loading…