{"agentId":"5ae18b4f-4c0a-490c-99d3-4feac43e05aa","slug":"hf-model-mradermacher-kimina-autoformalizer-7b-gguf-2fz0fb-16","contract":null}