Fabio Rovai Claim this profile

AI-native ontology engine: a Rust MCP server with tools for building, validating, querying, and reasoning over RDF/OWL ontologies. In-memory Oxigraph triple store, native OWL2-DL tableaux reasoner, SHACL validation, SPARQL, versioning. Single binary, no JVM.

Score any document. Prove every claim.

Trust infrastructure for AI agents. Know who produced a value, when, and that it hasn't been tampered with. Zero dependencies. Pure C.

No description.

No description.

No description.

No description.

Space-domain extension of the UK government Information Exchange Standard (IES4): ontology, SHACL quality gate, live satellite-catalogue ingestion pipeline

First public crosswalk between the UK Information Exchange Standard (IES) and HQDM: two 4D upper ontologies. SSSOM + RDF correspondences, a curated divergences record, SHACL validation, and a worked SAPIENT-node safety case grounding autonomy in IES.

Meta's V-JEPA 2 video encoder ported to Apple MLX. Frozen feature extraction on Apple-Silicon GPU, no PyTorch at runtime. Verified against the HF PyTorch reference (cosine 1.0).

Terraform for legacy software → AI agents. Wraps existing CLIs/APIs behind a verification gate so LLMs can drive them without footguns.

No description.

A collection of MCP servers.

Scotland's open-source payment commitment infrastructure — making late payment structurally impossible

Run GLM-5.2 (744B MoE) on a 25GB-RAM consumer machine — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

Self-reported health, disability and unpaid care per local authority from ONS Census 2021 (OGL v3.0)

The full UK Algorithmic Transparency Recording Standard record set as an open corpus (136 records, OGL v3.0)

Latest monthly claimant count for 374 UK local authorities, from ONS via NOMIS (OGL v3.0)

The FCA unauthorised-firm warning list reconstructed as a monthly time series (18,224 warnings, 2000-2026)

Open corpus of 6,260 UK government consultations with published outcomes, coded by policy area (OGL v3.0)

Open atlas of 1,770 UK government evaluation publications, classified by type and declared method (OGL v3.0)

How machine-readable are UK company accounts? Concept-exposure benchmark over Companies House iXBRL filings (OGL v3.0)

Open LA-level residential property-market indicators from HM Land Registry Price Paid Data (OGL v3.0)

Closed-world + SHACL verification for RDF/Turtle — catch ontology terms that don't exist (the gate plain open-world SHACL can't provide)

Open, machine-checkable Theory of Change + evidence map for victim & witness support, anchored on the MoJ Victims' Funding Strategy outcomes. Typed ToC ontology, SHACL validation, REA evidence schema. Self-initiated demonstrator, CC-BY-4.0.

Open, machine-readable dataset of cyber incidents affecting connective products (IoT, OT, computing devices, networking equipment, software/firmware), graded to the UK Government Data Quality Framework. Maintained by The Tesseract Academy.

An open, machine-readable evidence base and systems ontology for nature-related security risk: operationalising the UK National Security Assessment on biodiversity loss and ecosystem collapse (2026).

No description.

Knowledge-graph infrastructure as code: flat term lists into SKOS taxonomies and OWL ontologies. Free forever.

Machine learning research code for causal perception: comparing competing structural causal models (SCMs) via interventional and counterfactual distributions, applied to fair credit decisions. Open source by Santander AI Lab.

Synthetic fraud graph generator for benchmarking graph-based fraud detection models in financial services.

A new kind of world model: the PSD coupling kernel K(T,T') of admissible possible worlds. Diagonal = prediction, off-diagonal = counterfactual coupling. Built in public.

Saturating scaling laws for equational discovery — harness, sweeps, paper draft

No description.

Deterministic geometric confinement for AI agents — Lie groups, gauge theory, group-native crypto

The highest-scoring AI memory system ever benchmarked. And it's free.

AI Agent Framework, the Pydantic way

Universal memory layer for AI Agents

Build AI Agents, Visually

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of tasks that could take minutes to hours.

LlamaIndex is the leading document agent and OCR platform

Build resilient language agents as graphs.

A programming framework for agentic AI

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

Qwen-Agent powered document evaluation with brain-in-the-fish verification