agentmods.dev

CBirkbeck/AINTLIB

Atlas of formalised number theory in Lean (Verso blueprint)

Open on GitHub
5Stars on the repository
2Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

AINTLIB AGENTS.md

01

CBirkbeck/AINTLIB

Instructions file CodexOpenCode

Instructions for CBirkbeck/AINTLIB, covering aintlib — rules for ai sessions, structure, if you are a producer (proving new theorems), if you are a cleaner (the fleet, on main) and if you are the bump worker (daily, on main).

5 4d ago A 2,270 tokens original Apache-2.0

AINTLIB CLAUDE.md

02

CBirkbeck/AINTLIB

Instructions file

Instructions for CBirkbeck/AINTLIB, covering aintlib — rules for ai sessions, structure, if you are a producer (proving new theorems), if you are a cleaner (the fleet, on main) and if you are the bump worker (daily, on main).

5 4d ago A 2,269 tokens copy · 97% Apache-2.0