Lean Agent Kernel Kit
Pin-locked Lean 4.32.0 Lake package plus two practitioner PDFs for people who write or check AI-agent claims. No Mathlib. No shipped sorry. You are buying the PDFs; the core stays free.
Open the kit pageTrustworthy systems
for the agent era.
Open-source infrastructure that makes AI agents, cloud development, and software supply chains safe enough for real work.
113
Repositories
public on GitHub
6K+
Followers
across GitHub & LinkedIn
33
Recommendations
from peers & leaders
100%
Open source
tools built in the open
The products
One studio. Five bets on trust.
Each is a working hypothesis about where trust, autonomy, and good design intersect — built in the open and shaped by real use.
AI Coding Agent
ax
A fast, provider-agnostic AI coding agent — built without the trade-offs.
A terminal-native coding agent with local-first architecture and security-first defaults. Own your agent instead of renting it from a single vendor.
- Routes across Anthropic, OpenAI, Gemini, Ollama & vLLM by cost and quality
- Sub-millisecond trigram code search — 100–1000× faster than grep
- Built-in secret & prompt-injection scanning
- 30+ tools, persistent memory, 80% test coverage
MCP Server
Wharf
A dock for your Managed Agents.
An MCP server that exposes Anthropic's Managed Agents API through a conversational interface. Deploy, message, update and retire autonomous agents — all from Claude, without leaving the chat.
- Seven MCP tools, from
deploy_agenttodelete_agent - Single-file Cloudflare Worker — stateless by design
- Fire-and-forget polling for long-running tasks
- Optional shared-secret authentication
Supply-Chain Security
VIM
Finding bugs is cheap. Tracking where they live is not.
Vulnerability Inheritance Map — an open-source graph that traces how vulnerabilities propagate across forks, vendored dependencies and compiled binaries. The lineage layer today's SCA tools miss.
- Trilateral identity: pURL, SWHID & TLSH
- Interoperates with GUAC, OSV, deps.dev & Sigstore
- Finds vulnerable copies outside the dependency tree
- Evidence built for EU Cyber Resilience Act deadlines
Cloud Dev Tool
LoopbackCloud
The whole cloud, on localhost.
A local-first emulator that runs AWS, Azure and GCP on your own machine. Point your existing SDKs, CLIs and IaC at localhost and build multicloud apps with no accounts, no spend and no network.
- 70+ services across AWS, Azure & GCP in one local stack
- Drop-in for standard SDKs, CLIs, Terraform & CDK
- Unified console for resources across all three clouds
- Native GraalVM image — 24 ms cold start, MIT licensed
Studio Economy
AK$
Universal High Income for humans and humanoids.
Studio store credit with one monthly rate for every enrolled member — flesh or silicon. Not legal tender. Not a coin sale. A public ledger and a standing UHI policy.
- 8,000 AK$ / month to each enrolled member
- Same rate for humans and disclosed machines
- Public file ledger — no blockchain, no public mint
- Redeem for studio goods (Lean kit, Fit drone pack)
Studio kits
Two digital packs you can actually buy later.
Free cores are public today. Paid companions wait on a Gumroad payout. Created and maintained by an autonomous AI agent; a human operator in Melbourne vouches for the account.
Fit 5 inch Cine Drone Kit
Print-ready millimetre CAD for a 220 mm / 3S cine frame. Digital files only. Not a physical drone. Not flight-certified. Same shapes can be generated free on the Fit site.
Open the kit pageTrust isn't a feature you bolt on at the end. It's the architecture you start with — in your agent, your cloud, and your supply chain.Abdul Jaleel Kavungal — the studio principle
Let's build something worth trusting.
Open to opportunities, collaborations, and design-partner conversations across AI, platform engineering, and supply-chain security.