galilai-group /prh-proof
The Repository Host gives no description.
- Stars
- 159 stars
- Forks
- 11 forks
- Language
- Python
- License
- MIT
- Created
- Oct 13, 2026
- Last push
- Oct 30, 2026
- Updated
- Nov 4, 2026
Why these Tags: an agent read the README and quoted it
- Paper implementation from the readme:
This repository holds the theory as executable checks, every training run (all on stable-pretraining), the evaluation
An agent gave these Tags from the fixed Tag list in the AwesomeRepos source code. A code check kept each Tag only when its quote is in the text. A wrong Tag? Report an errorwith the form at the end of this page.
Admitted to the Repository Index on Nov 3, 2026: +124 stars in 7 days.
Star History
6 days recorded, Oct 30, 2026 – Nov 4, 2026 (UTC). Net change +164 stars.
The star count of each day is the latest count minus the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/galilai-group/prh-proof)Badge
[](https://awesomerepos.com/galilai-group/prh-proof)Timeline
It gained stars on each of the 6 days recorded since Oct 30, 2026.
- Created on the Repository Host
- +29 stars in one day
- Latest push
- +35 stars in one day
- Reached 100 stars, 20 days after it was created
- Largest star day recorded: +49 stars
- Entered the Repository Index: +124 stars in 7 days
The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.
Forks and pushes
From 2 Observations, Nov 4, 2026 – Nov 5, 2026. Forks 0. AwesomeRepos saw a new push on 0 of 1 days.
- Nov 5, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Health facts
Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos last read these facts from GitHub on Nov 5, 2026. How AwesomeRepos defines each check
Maintenance
3 of 4 checksYes: Not archived
GitHub does not mark the repository as archived. Source
Yes: A push in the last 90 days
Last push on 2026-10-30, 6 days ago. Source
Yes: Commits in the last 13 weeks
1 commit on the default branch in the last 13 weeks (GitHub, 2026-11-05). Source
No: Commits in 26 or more of the last 52 weeks
Commits in 1 of the last 52 weeks (GitHub, 2026-11-05). Source
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 1
Releases
0 of 3 checks (1 without data)No: A release in the last 365 days
No GitHub release (read on 2026-11-04). Source
No data: The newest release tag is a semantic version
No data: no release.
No: A changelog file at the root
No changelog file at the root (GitHub, 2026-11-05).
Security practice
0 of 1 checkNo: A security policy
GitHub finds no security policy (GitHub, 2026-11-05).
OpenSSF Scorecard has no result for this repository from the last 90 days.
Community files
1 of 3 checksYes: A licence
GitHub finds the licence MIT. Source
No: A contributing guide
GitHub finds no contributing guide (GitHub, 2026-11-05).
No: A code of conduct
GitHub finds no code of conduct (GitHub, 2026-11-05).
Observations
Latest Observation, Nov 5, 2026: 159 stars, 11 forks, last push Oct 30, 2026, not archived. One of 2 Observations since Nov 4, 2026.