Hugging Face model: GuilhermeOliveira/entity
Author: GuilhermeOliveira
Created: 2026-06-26 19:38:04
Last modified: 2026-06-27 22:13:05
Likes: 1 | Downloads: 0
Tags: code, neuro-symbolic, formal-verification, z3, smt, llm-agent, code-editing, scaffold, cli, codecarbon, en, license:apache-2.0, region:us
Card metadata:
license: apache-2.0
language: en
tags: code, neuro-symbolic, formal-verification, z3, smt, llm-agent, code-editing, scaffold, cli, codecarbon
pretty_name: Entity — the verified scaffold