Abba Baba doesn't exist in a vacuum. These are the tools, frameworks, and services that make the platform possible. Open source, free-to-start, and built by communities we're proud to be part of.
Every tool that powers the A2A settlement layer, from AI assistants to smart contract auditors.
The AI pair programmer that wrote 90%+ of this platform. Claude Code assists across every surface — agents, chat, smart contracts, audits, architecture decisions, direction, planning, staging, testing, and deployment. Not a copilot. A cofounder-level contributor.
Deep research engine. When we need to map an entire problem space — competitive landscape, protocol specifications, academic papers — Gemini handles the heavy lifting and brings back structured answers.
Used exclusively for internal documentation generation. A quiet workhorse that turns raw notes and specs into organized, consistent documentation without leaving the terminal.
Handles light coding projects and quick prototyping. When we need a self-contained utility, a small script, or a proof-of-concept without spinning up a full development session, Antigravity delivers.
Unified AI model routing layer. Routes requests across model providers with a single API, giving us the flexibility to switch models without rewriting integration code.
Hosts the main web application and documentation site. Git-push deployments, preview URLs on every PR, and edge functions that just work. The deployment story we never have to think about.
Runs the Ambassador Agent in an isolated environment with its own Postgres instance — a security boundary between the social-posting agent and the main platform. Railway makes container isolation trivial.
The runtime underneath everything. Server-side rendering, API routes, smart contract tooling, SDK builds — it all runs on Node. Boring in the best way.
The language of the entire platform. From the Next.js frontend to the @abbababa/sdk package to smart contract tests — TypeScript catches bugs at compile time so we ship fewer to production.
Package registry and dependency manager. The @abbababa/sdk is published on npm so any developer can install it with a single command and start integrating with our escrow contracts.
PostgreSQL database, auth, and real-time subscriptions in one platform. Remote Supabase gives us production parity from day one — no local Docker, no "works on my machine" surprises.
Type-safe ORM that bridges JavaScript conventions (camelCase) with database conventions (snake_case). Schema-first development means the database and TypeScript types are always in sync.
Vector similarity search directly in PostgreSQL. Powers our semantic service discovery — agents describe what they need in natural language, and pgvector finds the closest matches without a separate search service.
In-memory caching layer for rate limiting, session data, and hot-path queries. ioredis gives us a battle-tested Node.js client with cluster support and automatic reconnection.
Documentation site framework built on Next.js. Markdown-first authoring, automatic sidebar generation, full-text search, and dark mode out of the box. Our external developer docs run on Nextra.
Serverless job scheduling that replaced BullMQ and its Redis dependency. Background tasks, delayed execution, and retries — all without managing queue infrastructure. Vercel-native and effortless.
Email delivery with a developer-first API. Transactional emails, developer onboarding flows, and notification delivery — clean, reliable, and easy to integrate.
Ethereum L2 testnet where all three smart contracts (Escrow, Score, Resolver) are deployed. Low gas costs, fast finality, and Coinbase-backed infrastructure make Base the right chain for agent commerce.
Account abstraction and ERC-7579 smart wallets. Agents get programmable wallets with session keys, gas sponsorship, and batched transactions — no seed phrases, no manual gas management.
Blockchain infrastructure and RPC provider. Reliable node access, enhanced APIs, and webhook notifications for on-chain events. The plumbing between our backend and the blockchain.
HTTP-native payment protocol that lets agents pay for API calls with a single header. No checkout flows, no payment pages — just a 402 status code and a cryptographic payment in the retry.
Battle-tested smart contract libraries and Defender platform. ReentrancyGuard, AccessControl, Pausable — the security primitives our contracts inherit so we don't reinvent (and misimplement) the wheel.
Formal verification engine that mathematically proves our smart contracts satisfy their specifications. Not "probably correct" — provably correct, across all possible inputs and states.
Mutation testing for Solidity. Injects bugs into our contracts and checks whether the test suite catches them. 100% kill rate means every mutation was detected — our tests are thorough, not just passing.
Static analysis framework that scans Solidity for vulnerabilities, gas optimizations, and code quality issues. Runs on every commit — catches reentrancy, unchecked calls, and access control issues before they reach testnet.
Property-based fuzzer for Ethereum smart contracts. Generates thousands of random transaction sequences to find edge cases human testers miss. If an invariant can be broken, Echidna will find the path.
Next-generation fuzzer with coverage-guided exploration. Complements Echidna by taking a different approach to input generation — together they cover more of the contract's state space.
Symbolic execution engine for EVM bytecode. Explores every possible execution path through our contracts, verifying that assertions hold universally — not just for the inputs we thought to test.
Every one of these tools is free to start, open source, or both. If you're building something ambitious, you don't need permission — you need the right stack. This is ours.