Mnehmos / chatdb
typescriptmain1b6e02e54.0K linessynced 19h ago
Code health
8.2out of 10Excellent
This codebase scores 8.2 out of 10 on defect risk, which we rate excellent. It also scores maintainability 7.7 and static performance risk 10.0 out of 10. The three are scored separately and never blended into one number.
- Lines of code
- 54.0K
Recent activity
All commitsCommits
No commits indexed yet.
Decisions
- Remove unimplemented reasoning_level assertion from profile testproposed · 19h ago
- Add Lean checker projects to monorepoproposed · 19h ago
- Translate SymPy exponent operator and reject leftover SymPy call syntaxproposed · 19h ago
- If translation fails (untranslatable constructs), skip Lean validation rather than reject the stepproposed · 19h ago
- Cache Lean availability results to avoid repeated expensive checksproposed · 19h ago
- Gracefully degrade when Lean 4 is unavailableproposed · 19h ago
Needs attention
23 open- medium severity. ProposedRemove unimplemented reasoning_level assertion from profile testAuto-proposed decision awaiting review
- medium severity. ProposedAdd Lean checker projects to monorepoAuto-proposed decision awaiting review
- medium severity. ProposedTranslate SymPy exponent operator and reject leftover SymPy call syntaxAuto-proposed decision awaiting review
- medium severity. ProposedIf translation fails (untranslatable constructs), skip Lean validation rather than reject the stepAuto-proposed decision awaiting review
- medium severity. ProposedCache Lean availability results to avoid repeated expensive checksAuto-proposed decision awaiting review
Composition
Open the graphtypescript 29%rust 28%python 24%markdown 7%json 4%Other 8%
Explore this codebase
- Docs384 pages across 9 modules
- ChatAsk this codebase a question and get an answer with its sources
- Files277 files with per-file docs, health and history
- ArchitectureDependency graph, layers, and 88 entry points
- Code healthPer-file scores, 697 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