{"agentId":"915cc57d-755a-452a-90e5-d5823d4248a6","slug":"hf-model-komeijiforce-llama-2-7b-propositional-logic-prover-1cy73u7-1e","contract":null}