TRM Labs

TRM Labs provides blockchain intelligence tools that trace crypto transactions and help organizations detect, investigate, and stop crypto crime.

TRM Labs provides blockchain intelligence software that tracks and analyzes crypto transactions to uncover fraud, money laundering, and other financial crime. Its tools help financial institutions, crypto businesses, and public agencies detect suspicious activity, investigate ransomware, terrorist financing, and large-scale scams, and block high-risk wallets in real time. The platform supports crypto compliance, risk monitoring, and blockchain investigations across multiple chains.

Taxnova

Taxnova is an AI platform that turns engineering and finance data into fast, accurate R&D tax credit claims with full evidence and audit-ready reports.

Taxnova is an AI platform that automates R&D tax credit claims for tech companies by using existing engineering, finance, and payroll data. It connects to tools like Jira, GitHub, and accounting systems to identify eligible projects, link every claim to source evidence, and generate clear R&D reports in days instead of months. Finance and engineering teams reduce admin work, improve claim accuracy, and keep a traceable audit trail for tax authorities.

Theorem

Theorem uses AI and formal verification to check, fix, and generate software so developers ship secure, correct, production-ready code.

Theorem builds AI-powered tools that verify and generate code so software runs as specified before it reaches production. It applies formal verification to catch hidden bugs, security flaws, and regressions, and then produces optimized implementations that behave exactly like the trusted reference version. This helps teams working on critical or high-performance systems ship reliable code faster, with mathematical checks instead of manual review alone.

Allonic

Allonic builds robotic limbs and bodies with a 3D braiding process that speeds up production, cuts parts, and delivers lifelike, flexible movement.

Allonic develops robotic limbs and full robot bodies using a 3D tissue braiding platform that weaves soft, tendon-like structures over a simple skeletal frame. This process replaces many separate mechanical parts, reduces complex assembly lines, and makes it faster to prototype and produce robots. The technology supports lifelike, compliant movement for applications from industrial automation to healthcare and research.

Dwelly

Dwelly runs an AI-powered lettings platform that acquires local agencies and uses automation to manage rentals, streamline tenant onboarding, and simplify property management.

Dwelly runs an AI-powered lettings and property management platform that acquires independent letting agencies and connects them to one operating system. It uses automation to handle tenant inquiries, screening, contracts, payments, and maintenance, reducing manual work for agents while improving transparency for landlords and renters. The company keeps local agency brands in place and upgrades their operations with data-driven tools, faster tenant matching, and streamlined rental workflows.

Gyde

Gyde Health is an AI-native insurance brokerage platform that helps brokers automate workflows and give clearer guidance on insurance, wealth, and health decisions.

Gyde Health is an AI-driven brokerage platform that helps insurance professionals cut repetitive work and stay focused on client needs across insurance, wealth, and health. Its broker workspace, GydeOS, centralizes client insights and coverage gaps, while its assistant, Gia, handles outreach, scheduling, and follow-ups across channels. Together, they support more timely advice, smoother client communication, and better long-term financial and healthcare decisions.

Paraglide

Paraglide provides AI agents that handle accounts receivable emails, answer billing questions, chase overdue invoices, and help finance teams get paid faster.

Paraglide provides AI agents for accounts receivable teams, handling high-volume billing emails from end to end. The platform reads invoice and customer data, sends personalized payment reminders, responds to billing and invoice questions, and follows up when promises to pay are missed. It connects to existing finance systems so teams can track balances, disputes, and payment status in one place while reducing manual inbox work and improving how quickly invoices get paid.

PaleBlueDot AI

PaleBlueDot AI runs a GPU cloud platform that connects buyers and sellers of compute so companies can deploy and scale AI models efficiently.

PaleBlueDot AI provides an AI-focused GPU cloud platform that links organizations needing compute with providers that have available GPU capacity. Teams browse global GPU clusters, choose configurations, and deploy AI models for training and inference through a single interface. The platform also helps businesses optimize costs by matching workloads with suitable clusters and by enabling monetization of idle GPU resources.

Santé

Santé is a complete AI-powered POS platform for liquor stores and wine shops, connecting checkout, inventory, ecommerce, delivery apps and marketing in one easy system.

Santé provides an AI-powered POS system built for liquor stores and wine shops, bringing checkout, inventory, ecommerce, delivery apps and marketing into one connected platform. Its AI tools speed up receiving, track cost changes, reduce manual data entry and keep product, pricing and stock details updated in real time across channels. Stores use it to manage in-store sales, online orders, delivery, shipping and customer communication from a single dashboard.

Rogo

Rogo is an AI finance platform that turns complex financial data into clear insights, helping deal teams research, model, and create presentations in minutes.

Rogo is an AI finance platform that helps investment teams research companies, markets, and deals in one place. It reads filings, transcripts, and market data, then turns that information into clear answers, financial models, and polished slide decks in minutes. Analysts and dealmakers use it to prepare for meetings faster, test ideas with real data, and keep materials up to date without repetitive manual work.