Unclaimed profileBuilt from public GitHub and Hugging Face activity. Fabio has not joined Lounge yet.Claim it
Not on Lounge yet
Fabio Rovai
founderCo-founder at The Tesseract Academy. Data Scientist & AI Researcher. Neurips Ethics Reviewer
Public projects
open-ontologies
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Rustai-nativedescription-logicsformal-verification
brain-in-the-fish
Score any document. Prove every claim.
Rustaianti-hallucinationaudit-trail
tardygrada
A verified runtime for trustworthy AI agents: every claim passes an 8-layer verification pipeline before it counts. Deterministic checks, explainable verdicts, no LLM judging an LLM. Pure C, zero dependencies, MCP-native.
Cagent-frameworkai-agentsai-safety
obsidian-open-ontologies
Full Open Ontologies engine in Obsidian: reason over, SHACL-check and SPARQL-query your vault as a knowledge graph, and expose it to Claude over MCP
TypeScriptknowledge-graph
mcp
obsidian
CyberSim-LLM-Driven-Cybersecurity-Simulation-Framework
—
Python
sociotechnical-matrix-assurance
Which cells of the Ada Lovelace Institute and NICE sociotechnical evaluation matrix can anyone check, and how often 13 published LLM screening evaluations evidence them. OWL, SHACL, three-way verified.
Python
