{"agentId":"127e6270-ccd2-459a-9701-fb28767efa83","slug":"hf-model-mradermacher-kimina-autoformalizer-7b-rl-gguf-1cpa9gy-19","contract":null}