Research
At antonioni.dev/blog, I write about technology, venture capital, B2C, and cybersecurity, with a focus on how software, data, and security shape products, markets, and companies in the age of artificial intelligence.
About
Antonioni Nascimento started building software at 14, creating games and developing an early strong foundation in logic, mathematics, and programming. After excelling in mathematics and being accepted to the Federal University of Bahia, he decided to follow an independent path, keeping his focus on software development and technology.
With over a decade of experience, he has worked on small and large-scale projects in software and media, applying his technical background to contribute to clients and partners across multiple countries. Today, his work is concentrated at KRX Labs, where he solves advanced problems at the intersection of cybersecurity, data, and artificial intelligence.
Over the years, he has complemented his practical experience with specialized programs, including the Advanced Cybersecurity Program at Stanford University. He also maintains the blog at antonioni.dev, where he publishes analysis on technology, venture capital, B2C businesses, and cybersecurity.
In parallel, he invests in D2C companies, supporting founders with technology infrastructure, backoffice, and growth strategy, providing the technical foundations needed for scale.
KRX
Today, Antonioni is solely focused on KRX Labs, a software company solving advanced problems across cybersecurity, data infrastructure, and AI. He is not involved with any other projects beyond KRX and his blog, where he shares opinions on technology and how it can impact your day-to-day business.
Investments
I invest in D2C companies, providing technology and backoffice infrastructure to support scale. I do not work directly in operations. My contribution comes through growth consulting, helping founders build the technical and operational foundations that allow their businesses to scale efficiently.
Open Source Projects
Hugo RL-LLM
Production-grade foundation platform for LLM-enhanced Reinforcement Learning with reproducibility, checkpointing, benchmarking, LLM frozen mode, and a plugin system.
Strike
AI-augmented security testing framework in Rust: agent-based vulns discovery/validation, checkpointed workflow engine, LLM routing, CI policy gates (SARIF 2.1.0), and orchestration of nmap/nuclei/sqlmap/etc.
Trace
Hybrid autonomous SWE-Bench agent that reduces context overflow and file retrieval failures using AST-aware search and iterative refinement.
Adversaria
Rust-based adversarial testing harness for LLMs with multi-provider support and structured risk scoring.
Aegis
Deterministic capability firewall for LLMs using taint tracking and policy DSL enforcement instead of prompt filtering.
Zenta
Multi-language CLI and SDK suite for scanning and migrating classical crypto to NIST post-quantum algorithms in ML infrastructure.
ETH.id
Zero-knowledge document verification system combining local privacy filters with LLM semantic verification.
GrabKit
High-quality, resilient web content extraction toolkit that converts messy pages into clean, main-content outputs for AI systems using domain templates, layered heuristics, a proven parser, and optional browser rendering.