There should be some explanation of the method of getting the markdown to the tex.

[feurig]

If it could be done programmatically then mebby a post hook could do the work.
Then the proof.md should be renamed to the repo README.md.
(Which could then be viewed and updated from a single location).

PS. Was very happy to find this....