main abstraction
/meɪn æbˈstrækʃən/noun · technical · est. 2024
The layer that takes repetitive work off your team.
A technical practice for AI, automation, and on-chain systems. We build the system, wire it into your tools, and keep it running.
Etymology
from Latin abstractus "drawn away" + principalis "first in importance"
See also: agents · retrieval · pipelines
what we do
Automate the repetitive work
The manual tasks that eat your team’s time: data between tools, reports, intake, follow-ups. We build the pipeline that does it, and keeps doing it.
AI that ships
LLM agents wired into your real workflow. Retrieval over your own data, tools connected through open standards like MCP, evals and guardrails that hold cost and reliability in production.
Reviews & prototypes
We read architecture and code before a release and tell you what breaks first and what gets expensive to change. We build small prototypes when you need user evidence before a full build.
Design · Build · Review
Most AI projects die between the demo and production. We work the second half.
how we work
Four steps, in this order. The order is the method: evidence before build, proof before trust, handover before exit.
- 01
Find the expensive problem
We start with what your team actually does by hand and what it costs when it goes wrong. Some of what gets asked for as AI turns out to be a data problem, or a five-line script. We say so before anyone signs a build.
- 02
Build the smallest thing that proves it
One workflow, wired to your real data and your real tools, running against real cases. Not a slide, not a sandbox demo. If the approach is wrong, this is where it gets found, and it costs a week instead of a quarter.
- 03
Put a number on the quality
An eval set, a score, and a threshold that has to be beaten before anything ships. Guardrails on the actions that cannot be undone. From here on, quality is a measurement instead of an argument.
- 04
Hand it over so it runs without us
Monitoring, alerts, a runbook, and your team walked through the failure modes. Documented well enough that another engineer can take it over. We would rather be recommended than depended on.
Evidence · Proof · Handover
selected work
Logos · 2026
Access-control libraries for a new execution layer
Two Rust libraries for the Logos Execution Zone: an admin authority and a freeze authority (circuit breaker). Foundational, security-relevant code on a platform where programs compile to RISC Zero zkVM guests.
We built the libraries, then proved them: compiled to zkVM guests, deployed on a local sequencer, every privileged path and every rejection exercised on-chain and checked against the execution log. 60 host tests green, CI green, dual-licensed MIT and Apache 2.0. Working that close to the tooling also surfaced a bug in the framework’s own CLI, which we traced, patched, and submitted upstream.
- 2
- libraries delivered
- 60
- host tests passing
- 10
- instructions verified on-chain
Design · Build · Review, on one project
glossary
/ˈɡlɒsəri/The vocabulary of the work, defined twice: sense 1 is the meaning, sense 2 is production.
retrieval-augmented generation
noun · RAGGiving a language model your documents to answer from. The standard way to make AI useful on your company’s knowledge.
Retrieval breaks before the model does. Naive chunking cuts text mid-thought, answers sit spread across two documents, and your users ask questions in words the documents never use. Production RAG means chunking that follows document structure, embeddings in a vector database fused with keyword search, a reranker over the final candidates, and a groundedness test that checks every answer against the source documents.
usage We build the retrieval layer first and put a number on it before asking anyone to trust an answer.
See also: eval · antonym: trusting the model’s memory
agent
nounSoftware that runs a language model in a loop: reason about the goal, call a tool, observe the result, repeat until done. The model decides at runtime which tool to reach for.
Demos skip the two hard parts: stopping and state. A production agent carries a hard iteration cap and a written definition of done, or it loops until the invoice arrives. Tools connect through open standards like MCP: one integration serves every agent. Every step lands in a trace, so when the agent does something strange at 2 a.m., you can read what it saw and what it chose.
usage We design the loop, the tool surface, and the stopping rules before anyone writes a prompt.
See also: guardrail · antonym: a very long prompt
eval
nounA scored test for a non-deterministic system: real cases with known good answers, run against every change.
Teams without one review quality from memory: the demo looked fine, someone rewrote a prompt on Thursday, nobody can say whether Friday’s answers got better or worse. We ship a change when it beats the previous score and revert it when it does not. Monitoring picks up the cases the test set never met.
usage The first thing we build on any AI engagement.
See also: guardrail · antonym: vibes
guardrail
nounA check around a probabilistic system: on the way in (injected instructions, personal data) and on the way out (schema, policy, facts).
For agents, put the check on the action: inspect the tool call before it runs. Anything irreversible (send, delete, pay) passes an allowlist or waits for a person. Guardrails stay simpler than the system they guard: rules and small models. A system reviewing its own actions approves them.
usage We define these with you first: what must never happen, and what needs a person before it does.
See also: agent · antonym: optimism
pipeline
nounData moving from where it is created to where it is needed, on schedule, without a person in the middle.
A model answers from whatever the pipeline fed it that morning. Stale loads, silent failures, and duplicated rows all surface the same way: users tell you the AI is wrong. Production pipelines run idempotent, monitored, and re-runnable from any point in history, so the day the source API dies twice costs you one re-run.
usage We build the pipeline before the model.
See also: retrieval-augmented generation · antonym: an intern with a spreadsheet
Foundations over frameworks
about
Main Abstraction is a technical practice. We take a few projects at a time and build them end to end, from first call to production.
who you work with
A practice this size has no bench to hide behind. The person on the call is the person who writes the code.
Gonçalo Traça
Founder, engineer
Six years building data and AI systems in production. Data engineer at Accenture on national-scale telecom pipelines, Python and SQL on GCP and BigQuery, where partitioning and parallelization cut processing time by about 85 percent. Before that, blockchain and data analytics on AWS at Celfocus, in the energy sector. Now Main Abstraction, building production AI: retrieval over client data, agents with real tool access, the evals and guardrails that keep them honest.
credentials
- MSc Big Data Analysis and Engineering, FCT NOVA
- BSc Computer Science and Business Management
- Rust, TypeScript, Python, Postgres, GCP and AWS
- Open-source: access-control libraries and an upstream toolchain fix, 2026
Est. 2024
get in touch
Tell us what is eating your team’s time. We will tell you if we can automate it.
gon@mainabstraction.com