Mnehmos / formal-conjectures
Code health
Mnehmos/formal-conjectures scores 9.6 out of 10 on defect risk, which Repowise rates Excellent. Maintainability scores 9.9 out of 10. Static performance risk scores 10.0 out of 10. The three are scored separately and never blended into a single number. 15 of 1,048 files are git hotspots, the places where changes and bug fixes concentrate.
Full health report- Files
- 1.0k
- Symbols
- 130
- Modules
- 9
- Doc pages
- 23
- Dead exports
- 0
Where the risk concentrates
All 15 hotspotsRanked by prior bug fixes and change frequency, mined from the full git history rather than from the code alone.
| File | Churn | Prior fixes | Maintainers | Commits 90d |
|---|---|---|---|---|
| AgohGiuga.leanFormalConjectures/Wikipedia | 95.0th %ile | 2 | 10 | 3 |
| Test.leanFormalConjectures/WrittenOnTheWallII | 99.7th %ile | 1 | 7 | 5 |
| theorem.jssite/src/js | 99.6 |
Read more about Mnehmos/formal-conjectures
- OverviewFiles, symbols, languages, packages, git intelligence
- ArchitectureDependency graph, layered architecture, symbol index, and third-party dependencies
- Code healthPer-file health scores, hotspots, test coverage, dead code, and refactoring targets
- AI explanationsProModule-by-module documentation generated from source
Add a badge to your README
Both badges are public, cached, and update on their own after every index. Nothing to install.
Repowise badge
Links to this page. Adding it also re-indexes the repo every week.
[](https://repowise.dev/repo/Mnehmos/formal-conjectures)Code health badge
Average health across every file, straight from the latest index.
[](https://repowise.dev/repo/Mnehmos/formal-conjectures)How Mnehmos/formal-conjectures works
This page is an auto-generated, always-fresh map of the Mnehmos/formal-conjectures repository, written primarily in lean. Repowise indexes the source, parses every symbol, computes a dependency graph, scores per-file code health from complexity, duplication, test coverage and churn, mines git history for hotspots and ownership, and lifts the resulting architectural decisions into a wiki you can read or query through MCP.
The codebase has 1,048 source files, 130 symbols, and 9 languages, organised into 9 modules, led by lean, markdown, yaml. Static analysis leaves 423 open findings across the three health dimensions.
Use the links above to open the interactive dashboards, or connect this repo to your editor via the Repowise MCP server for grounded answers inside Claude, Cursor, or VS Code.