01 / Intelligence × Software

I build AI from weights to systems.

I research and engineer language models, latent reasoning architectures and local AI systems, then build the software that turns those ideas into usable products.

LLM engineeringlatent reasoning local AImultimodal retrievalexperimental software

Not a project list.
A body of work.

Recent work spans coding models, privacy-first agent infrastructure, API compatibility layers, realtime systems and GPU-aware desktop software. The newest projects lead; the archive keeps the rest one click away.

Flagship / Local Coding Model001

VELUM-
Coder

A coding-focused 9B model released for local inference, with GGUF quantizations ranging from Q8 to extreme low-bit builds. The release includes an importance-matrix workflow tuned on code and conversation data, plus a dedicated product landing page.

9BGGUFllama.cppImatrixLocal-firstMIT
Open model Open landing page
Private Agent Runtime002

Veil Agent

A privacy-first Windows runtime that separates model reasoning from host authority using Hyper-V isolation, deterministic policy, audited tools and VPN-gated networking.

Local API Compatibility003

OmniClaw

A local bridge that exposes OpenAI Chat Completions, OpenAI Responses and Anthropic Messages over one AutoClaw-backed setup, with streaming, tools and client-specific integration helpers.

Emulation Platform004

PKG_DoW

A unified Windows launcher for compatible PS4/PS5 content with modular cores, PKG import, Vulkan tuning, hardware diagnostics and frame-time-focused AutoBoost policies.

Realtime Community Client005

Open DC

An open-source realtime community app built with Flask, SQLite, Socket.IO and WebRTC, covering servers, DMs, forums, calls, screen sharing, bots and webhooks.

AI Research Runtime006

LeBRON

Recurrent latent computation for frozen decoder models through a structured J-Space adapter, competing branches, verification and adaptive halting.

AI Education Ecosystem007

Projeto Lunar

An AI-powered educational ecosystem connecting students, teachers and families through intelligent tools, dashboards, media, gamification and school workflows.

Creative AI008

Lyra Engine

Local AI music generation, songwriting assistance and GPU-aware model orchestration in one workstation-first environment.

Desktop Software009

AGNER Browser

A modular desktop browser around QtWebEngine with isolated profiles, persistent sessions, local data and custom browser UX.

Retrieval-Augmented AI010

IA RAG Nexa

A local knowledge assistant combining semantic retrieval, BM25/FTS, rank fusion and traceable source references.

Model lab / fine-tuning & local inference
Coding language modelMODEL / 01

Nexora-Qwen-Coder-4B

Compact coding model fine-tuned for debugging, structured reasoning, tool use and local agentic workflows.

Multimodal coding modelMODEL / 02

Nexora-Gemma-4-E4B-Coder

Gemma-based coding model with visual debugging support and GGUF-oriented local inference workflows.

Project archive / click any row for a compact README

Where I spend
my compute.

The portfolio intentionally crosses research and product engineering. Understanding the model matters. Understanding the runtime, interface and constraints around it matters too.

01

Language Models

Fine-tuning, coding models, evaluation, quantization, GGUF publishing and practical local inference workflows.

02

Agent Infrastructure

Sandboxed execution, capability-scoped tools, deterministic policy, audit trails and provider-agnostic orchestration around probabilistic models.

03

Local AI Systems

Applications and compatibility layers that keep inference, credentials and workflows close to the workstation.

04

Latent Reasoning

Structured internal representations, recurrent depth, adaptive compute and experiments that modify how models deliberate before decoding.

05

Realtime & Networked Apps

Socket.IO, WebRTC, browser media, local APIs and desktop/web systems with live state and multi-user interaction.

06

Retrieval & Knowledge

RAG systems combining semantic search, lexical retrieval, reranking and traceable sources around local or hosted models.

07

Multimodal & Generative

Systems connecting language, vision, audio and 3D generation instead of treating each model as an isolated demo.

08

Software Engineering

Desktop tools, browsers, emulation frontends, dashboards and end-to-end products built around real runtime constraints.

Inside the
residual stream.

My current research direction explores whether structured recurrent computation inside a constrained latent subspace can improve a frozen decoder under controlled paired evaluation.

LeBRON / J-SpaceExperimental

Deliberate
before decode.

LeBRON adds a lightweight recurrent reasoner around a frozen decoder. A sparse J-Space projection exposes a structured workspace, competing branches evolve internally, and adaptive halting decides when additional compute stops being useful.

01Goalobjective
02Hypothesisproposal
03Evidencesupport
04Critiquechallenge
05Commitconsolidate
Frozen decoder residual
Sparse Jacobian projection
5-slot latent workspace × 2 branches
Recurrent updates + verifier
Adaptive halting
Gated residual Δ
Explore LeBRON

Tools are
the easy part.

I care more about choosing the right abstraction than collecting logos, but these are the tools that repeatedly survive contact with my projects.

Python
PyTorch
Transformers
CUDA
GGUF
Hugging Face
FastAPI
Flask
React
Three.js
SQLite
Qt / PyQt6
Node.js
WebRTC
Vulkan
Hyper-V
Local inference
Agents · Policy · Sandboxing
OpenAI · Anthropic compatibility
RAG · BM25 · Vector Search
Quantization · GGUF · llama.cpp

Miguel Penha
Reis

I'm an AI Engineer and researcher working across coding language models, latent reasoning, local AI, agent infrastructure, multimodal systems and end-to-end software.

I build both the models and the systems around them, moving between research experiments and practical engineering.

My work explores what happens inside intelligent systems, how their internal representations can be structured, and how those ideas can become useful tools in the real world.

Build the model. Build the system. Understand both.