You set the limits, we provably cannot cross them — and what is paid for says so. Infrastructure for agentic commerce with formally verified decision logic: 68 public Lean 4 theorems. EU-hosted and MIT-licensed at the core.
Brand Family
Nexbid provides the open infrastructure — verticals and sister brands build on top of it. Marketing is live today, Mineralis complements as customer-facing sister brand, more verticals follow in 2026/27.
Vertical application of the platform
Agentic ad server for publishers and advertisers — AdCP-protocol-native, Match-Moment hub for AI agents. 90% revenue to publishers.
Explore
Sister brand on Nexbid infrastructure
AI-native equity research for mining and energy — for family offices and institutional investors. Independent customer-facing brand of digital opua GmbH.
Visit mineralis.io
More verticals planned
Procurement, Public Services, Consumer Layer — the Match-Moment architecture is vertical-agnostic and scales beyond marketing.
View roadmap
All verticals on the same Lean-4-verified, EU-compliant infrastructure · digital opua GmbH (Walchwil, CH)
Platform Topics
Four pillars that make Nexbid the open, verifiable, EU-sovereign layer for agentic commerce.
Match-Moment hub, AdCP-protocol-native, multi-rail payment, 19 MCP tools. Vertical-agnostic layer between content, product, and intent.
View architecture
Swiss GmbH (Walchwil), Frankfurt hosting, nDSG-compliant, ARTF/GAIA-X path — sovereign alternative to US-controlled UCP/ACP.
Read compliance
68 formally verified theorems, 0 sorry, CI green — mathematically proven core logic for scoring, auction, budget, wallet, end-to-end.
View proofs
Agent Mandate Discovery Protocol as open standard — co-authoring with IAB Tech Lab and Linux Foundation. ADR-040 accepted.
Read ADR-040