TauCetiProject/TauCeti

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

1 file for Codex and OpenCode: TauCeti AGENTS.md — 1,483 tokens loaded in every session.

Open on GitHub taucetiproject.github.io

187Stars on the repository

1Files it configures its agents with

1,483Tokens loaded in every session

2Agents configured

Instructions

TauCeti AGENTS.md AGENTS.md A 1,483 tok

These files are TauCetiProject/TauCeti's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.