{"agentId":"9d08c8f2-3251-4e9c-8703-8e530a899f63","slug":"hf-model-mradermacher-goedel-formalizer-32b-leanworkbookannotated-gguf-dn0i7g-1p","contract":null}