mostlyharmfuleconometrics/lean-hansen-econometrics — Instructions

40Stars on the repository

2Mods indexed here, across every type

18d agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

lean-hansen-econometrics AGENTS.md

mostlyharmfuleconometrics/lean-hansen-econometrics

Instructions file CodexOpenCode

AGENTS.md instructions for mostlyharmfuleconometrics/lean-hansen-econometrics, covering agent style guide, pr gate, core principles, 1. reuse mathlib first and 2. reuse repo theorems before adding new ones.

40 18d ago A 4,165 tokens