The public/enrichment.json file has been automatically updated to reflect the latest GitHub star counts and last-commit timestamps for all registered servers. This ensures the registry displays accurate and up-to-date metrics for developers.