Mnehmos / mathcorpus
jsonmaina0d08c9109.3K linessynced 18h ago
Code health
9.9out of 10Excellent
This codebase scores 9.9 out of 10 on defect risk, which we rate excellent. It also scores maintainability 9.9 and static performance risk 10.0 out of 10. The three are scored separately and never blended into one number. The files you change most are the weak spot: 8 of 990 files are git hotspots, and they average 3.6.
- Lines of code
- 109.3K
Recent activity
All commitsCommits
No commits indexed yet.
Decisions
- feat(policy): require contribution, citation, and novelty review for open-problem exportsproposed · 18h ago
- feat(schema): add rl_transition record type and exporterproposed · 18h ago
- fix(mcip): statement-hash bridge for proof-search bundle import + Jacobian dim-3 laneproposed · 18h ago
- fold real proof-search provenance/evidence into packetsproposed · 18h ago
- Add third frontier/erdos packet: Steinerberger's product-version counterexampleproposed · 18h ago
- Add well-founded recursion for Euclidean gcd packetproposed · 18h ago
Needs attention
30 open- medium severity. Proposedfeat(policy): require contribution, citation, and novelty review for open-problem exportsAuto-proposed decision awaiting review
- medium severity. Proposedfeat(schema): add rl_transition record type and exporterAuto-proposed decision awaiting review
- medium severity. Proposedfix(mcip): statement-hash bridge for proof-search bundle import + Jacobian dim-3 laneAuto-proposed decision awaiting review
- medium severity. Proposedfold real proof-search provenance/evidence into packetsAuto-proposed decision awaiting review
- medium severity. ProposedAdd third frontier/erdos packet: Steinerberger's product-version counterexampleAuto-proposed decision awaiting review
Where the risk concentrates
All 8 hotspotsRanked by prior bug fixes and change frequency, mined from full git history rather than from the code alone.
| File | Churn | Prior fixes | Maintainers | Commits 90d |
|---|---|---|---|---|
| policy.pytools/mathcorpus | 99.7th | 8bug magnet | 1bus factor 1 | 10 |
| gen_mcip_fixtures.pytools | 99.5th | 2 | 1bus factor 1 | 3 |
| author_packet.pytools | 99.2th | 3 | 1bus factor 1 | 8 |
| mcip_import.pytools/mathcorpus | 98.9th | 2 | 1bus factor 1 | 3 |
| MathCorpus.leanlean | 97.6th | 1 | 2bus factor 1 | 19 |
Composition
Open the graphjson 45%lean 34%markdown 18%python 3%yaml 0%Other 0%
Explore this codebase
- Docs51 pages across 13 modules
- ChatAsk this codebase a question and get an answer with its sources
- Files990 files with per-file docs, health and history
- ArchitectureDependency graph, layers, and 0 entry points
- Code healthPer-file scores, 125 open findings, coverage and refactoring targets
- Knowledge graphEntities, communities, and the paths between them
- Change couplingFiles that keep changing together, mined from commit history
- CommitsChange-risk ranked history with agent provenance
- ContributorsBus factor, per-file maintainers, and the human/agent split
- StatsSize class, origin, lifetime churn, rhythm and records
- CostsWhat indexing this snapshot cost, by model and by run