Mnehmos / chatdb
typescriptmain1b6e02e54.0K linessynced 18h 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 · 18h ago
- Add Lean checker projects to monorepoproposed · 18h ago
- Translate SymPy exponent operator and reject leftover SymPy call syntaxproposed · 18h ago
- If translation fails (untranslatable constructs), skip Lean validation rather than reject the stepproposed · 18h ago
- Cache Lean availability results to avoid repeated expensive checksproposed · 18h ago
- Gracefully degrade when Lean 4 is unavailableproposed · 18h 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