AI-powered code review with formal verification. Catch bugs, security vulnerabilities, and logical errors in code—particularly code generated by AI coding assistants.

**Convex DX on Postgres.** A TypeScript-native reactive backend framework that provides live queries, automatic transactions, and built-in scheduling on infrastructure you control.

A memory-safe, high-performance universal codec library written in Rust

Secure, vendor-neutral MCP gateway for operating Apache Kafka with AI agents

Quicksilver is a JavaScript engine designed for embedded use cases, edge computing, and security-sensitive applications. Unlike V8 and SpiderMonkey, which are massive C++ codebases with ongoing mem…

ComplianceAgent is an AI-powered platform that automatically monitors regulatory changes, maps them to your codebase, and generates compliant code modifications—transforming compliance from a react…

Open-source observability platform for AI coding agents. LLM traces, evaluations, prompt management, and dataset experiments with Langfuse feature parity.

Platform-agnostic TypeScript SDK for BLE heart rate sensors — HRV, zones, TRIMP, AI coaching, VO2max, and 5-platform BLE transport

Needle is a high-performance, zero-configuration vector database designed for AI applications. It provides fast approximate nearest neighbor (ANN) search with a single-file storage format.

Webhook as a service

AgentOps provides comprehensive monitoring, debugging, and optimization capabilities specifically designed for AI-powered systems—tracking prompt quality, model costs, tool execution, decision path…

A lightweight, secure sandbox runtime written in Rust for executing untrusted WASM code with strong isolation guarantees.

Clean automatically detects the issues that make ML models fail. The saying "garbage in, garbage out" has never been more true—yet most data quality tools focus on data validation, not ML-specific …

Forge is an automated feature engineering platform that reduces the time data scientists spend on feature engineering by 10x. It provides automatic feature generation, intelligent selection, and se…

Distributed Cron system without operational complexity

Presence is a real-time collaboration engine that provides Figma-like collaboration capabilities as a drop-in SDK. It enables apps to add real-time sync, presence awareness, cursor tracking, and co…

Feather is a high-performance, real-time feature store designed for ultra-low-latency serving at the edge. It enables sub-millisecond feature retrieval through embeddable deployment, background syn…

Chronicle is an embedded time-series database for Go designed for constrained and edge environments. It provides compressed columnar storage, SQL-like queries, retention, and downsampling in a sing…