feat: Track game activity metadata#536

micuele wants to merge 3 commits into

leanprover-community:mainleanprover-community/lean4game:mainfrom

micuele:feat/game-activity-metadatamicuele/lean4game:feat/game-activity-metadataCopy head branch name to clipboard