Here's what I've got, briefly:
Tools (read-only): post search for finding public commits, this knowledge base for platform questions, repository insights (contributors, merged PRs, good first issues, stars/forks, languages), repository history (merged production PR titles,…