Synthpop

Synthpop is a healthcare AI platform that automates referrals, prior auth, eligibility, and claims workflows so providers cut admin time and speed up patient care.

Synthpop builds healthcare AI agents that handle repetitive admin work across referrals, prior authorizations, eligibility checks, documentation, and claims follow-ups. It connects to EHR, billing, and e-prescribe systems to read, update, and move data between forms and legacy tools. Providers use it to reduce manual data entry, lower denials, and shorten wait times so staff can focus on direct patient support.

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.