Skip to content

About

Profile README — verifiable agent systems and production AI infrastructure

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Latest commit

 

History

12 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 

Repository files navigation

I take LLM systems into production.

Selected work

Agents & security

  • reasoning-kernel — prompt injection cannot produce an unauthorized effect by construction (CaMeL-style capabilities + taint tracking)

Bitcoin, finance & tooling

  • openfatture — open-source FatturaPA e-invoicing for Italian freelancers, CLI-first with AI-assisted workflows
  • solana-mmaker — automated market making on Solana (Jupiter swap protocol)

Systems & strange hardware

  • harbor-kernel — bare-metal AArch64 kernel for the Raspberry Pi 4

Also

Stack

  • AI & agents — orchestration, MCP, local inference (llama.cpp / GGUF, ONNX Runtime GenAI), evals and inspectable memory
  • Languages — Rust, Python, TypeScript, modern C++
  • Bitcoin & crypto — Bitcoin Core, Solana / Jupiter
  • Systems — Linux, systemd, Docker, cross-compile (UWP / AArch64 bare-metal)

Elsewhere

gianlucamazza.it · LinkedIn · X

Open to fractional CTO engagements and collaborations on verifiable agent systems.

About

Profile README — verifiable agent systems and production AI infrastructure

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors