Open Source Alternatives to Runtime Verification
60 open source Software Verification options similar to Runtime Verification, ranked by named competitors first, sector overlap, and our 0-100 AI-readiness score. Each profile notes license and self-hosting where we have it.
CertiK63Web3New York, United States$241.5MBlockchain security and auditing firm providing smart contract auditing, KYC, and security tools.
Open source
earlyai55AI AgentHerzliya, Israel$5.0MEarlyAI generates complex unit tests directly in your IDE to find bugs and provides regression intelligence for enterprise software.
Open source
OpenAI84Artificial IntelligenceSan Francisco, United States$190.6BOpenAI is an AI research and deployment company dedicated to ensuring that artificial general intelligence benefits all of humanity.
Open source
Polygon81BlockchainMumbai, India$400.0MA framework and platform for building and connecting blockchain networks, focusing on scalability and usability for Ethereum.
Open source
Tailscale74CybersecuritySan Francisco, United States$505.0MSecure, identity-based connectivity platform replacing VPNs, SASE, and PAM for modern teams and workloads.
Open source
Monad Labs62BlockchainNew York, United States$266.0MBuilding a high-performance, scalable blockchain with a novel execution environment.
Open source
Stytch61AuthenticationSan Francisco, USA$127.0MAuthentication and authorization for modern apps.
Open source
Near58BlockchainZug, Switzerland$1.1BScalable blockchain platform for user-friendly decentralized applications.
Open source
Steel.dev58Developer ToolsTel Aviv, Israel$17.0MCloud-based browser API for AI agents, simplifying web automation with anti-bot protection and session persistence.
Open source · Self-hostable
- SPSpaceComputer54SpaceTechSingapore, Singapore$10.0M
Building a satellite-based network for secure blockchain and cryptographic computing beyond Earth.
Open source
Piiano54EnterpriseTel Aviv, Israel$9.0MPiiano provides developer infrastructure for data protection and compliance, helping companies prevent data breaches and exfiltration at the code level.
Open source
Connext54Fintech$12.0MModular interoperability protocol for building crosschain applications and deploying crosschain-native tokens.
Open source
Wing Cloud54EnterpriseTel Aviv, Israel$20.0MAn abstraction layer unifying cloud infrastructure and application code into a single programming and operational model.
Open source · Self-hostable
Tweed54FintechNew York, United States$4.0MSelf-custodial key management and white-label wallets for platforms integrating Web3.
Open source
The Graph53Web3San Francisco, United StatesAn indexing protocol for querying blockchain data, enabling developers to easily access and organize information from decentralized networks.
Open source
Lunar.dev53EnterpriseTel Aviv, Israel$6.0MMonitors and remediates issues with third-party APIs, focusing on breaking changes, latency, and costs.
Open source
Fhenix53BlockchainNew York, United States$22.0MConfidential blockchain powered by fully homomorphic encryption for encrypted smart contracts and computation.
Open source
CipherOwl52FintechSan Francisco, United States$15.0MAI-native intelligence platform for institutional crypto compliance and security.
Open source
ConsenSys (Infura)52Web3San Francisco, United States$221.0MInfura provides developers with access to Ethereum and other blockchain networks.
Open source
Infisical51Developer ToolsSan Francisco, United States$34.8MOpen-source platform for managing secrets and sensitive data for developers.
Open source · Self-hostable
Permit.io51Identity ManagementTel Aviv, Israel$14.0MFull-stack permissions as a service for developers, simplifying authorization management.
Open source
Arcade49Artificial IntelligenceSan Francisco, USA$60.0MThe secure action layer for production AI agents.
Open source
Horizon Blockchain Games47FintechToronto, Canada$10.0MBuilding the infrastructure for the onchain internet with smart wallets and cross-chain payments.
Open source
- TRTruffle Security47CybersecuritySan Francisco, United States$30.0M
Truffle Security provides a platform for continuous security testing and vulnerability management.
Open source
ORY47Identity & Access ManagementBerlin, Germany$17.0MOpen-source identity and authorization services for applications, offering composable and scalable IAM solutions.
Open source · Self-hostable
Slauth.io43EnterpriseAshburn, United States$1.5MArk Infotech offers Cybersecurity, AI/ML, Data Analytics, and IT consulting services, including the Slauth.io IAM Policy Copilot.
Open source · Self-hostable
Storj41Cloud StorageAtlanta, United States$973.0MDecentralized cloud object storage platform for developers, offering secure, private, and cost-effective storage.
Open source
LettaAI38Artificial IntelligenceSan Francisco, United States$1.5MDevelops an AI agent utilizing the Model Context Protocol (MCP) for enhanced AI interaction.
Open source
Cipherwake29CybersecurityMeasures quantum-decryption risk to sensitive data with its Decryption Blast Radius score.
Open source
Faremeter22FintechOpen-source framework enabling autonomous AI agents to make frictionless web3 payments via web2 infrastructure.
Open source · Self-hostable
Gravitee20CybersecurityLondon, United KingdomAI agent management platform for securing and controlling AI agents, APIs, and events.
Open source
Rei Labs10Web3Singapore, SingaporeWeb3 research and development.
Open source
Citcall10CybersecurityJakarta, IndonesiaA one-time password (OTP) verification solution using a miscall-based system for enhanced security and cost-efficiency.
Open source
CodeNut7Web3 DevelopmentAI-powered platform for end-to-end Web3 DApp development.
Open source
Gembascan6BlockchainOpen-source block explorer by Blockscout for the GembaBlockchain testnet.
Open source · Self-hostable
OpenkmsFintechHardware-backed signing API for autonomous trading agents on Solana and Cosmos.
Open source
- LegacyfixerLegacy System Modernization
GitHub App for automating Python dependency security by detecting vulnerable dependencies.
Open source
GakoCybersecurityOpen-source, self-hostable secret manager where the server cannot read your secrets.
Open source · Self-hostable
Forter85FintechNew York, United States$550.0MForter provides an AI-powered trust platform for digital commerce, preventing fraud and abuse while maximizing revenue.
Open source
Snyk85AI Coding AssistantBoston, United States$488.5MSnyk is a developer security platform that helps software teams find and fix vulnerabilities in code, open source dependencies, containers, and cloud infrastructure.
Open source · Self-hostable
1Password85CybersecurityToronto, Canada$1.2BSecurely stores and manages passwords, secrets, and access for individuals, businesses, and AI agents.
Open source
Postman78API DevelopmentSan Francisco, United StatesThe leading API platform for designing, testing, managing, and distributing APIs.
Open source
Cursor77Artificial IntelligenceSan Francisco, United States$2.9BAn AI-native code editor that helps developers write, understand, and manage code more efficiently.
Open source
Together AI76AI InfrastructureSan Francisco, United States$906.0MAI acceleration cloud platform for open source and enterprise.
Open source · Self-hostable
Auth075Identity & Access Management (IAM)Bellevue, United States$282.4MCustomer identity and access management platform for developers and enterprises.
Open source
Algolia75Search TechnologySan Francisco, United States$334.2MSaaS search platform for websites and applications, offering AI-powered search and discovery solutions.
Open source
StarkWare73BlockchainTel Aviv, Israel$180.0MDevelops blockchain scaling solutions using STARK technology for Ethereum-secure, fast, and seamless user experiences.
Open source
Neon72DatabaseSan Francisco, United States$1.2BA serverless Postgres database with separation of storage and compute.
Open source
Stripe, Inc.72BillingSouth San Francisco, United States$11.4BStripe, Inc. is an Irish-American multinational financial services and software as a service company dual-headquartered in South San Francisco, California, Unit
Open source
Osaurus71Artificial IntelligenceSan Francisco, USA$63.0MA Mac app that combines local and cloud AI models, keeping user data on their hardware.
Open source
Temporal71Workflow AutomationSeattle, United States$134.0MOpen-source platform for reliable, scalable, and observable distributed applications.
Open source
WorkOS71Developer ToolsSan Francisco, United States$198.0MThe enterprise features layer for developers.
Open source
OpenRouter70InfrastructureSan Francisco, United States$153.5MUnified API platform providing developers access to hundreds of large language models through one endpoint.
Open source
MosaicML (now Databricks)70Foundation ModelSan Francisco, United States$3.0BGenerative AI platform for enterprises to build, train, and customize their own AI models.
Open source
Vercel70Web DevelopmentSan Francisco, United States$687.5MA frontend cloud platform for building, scaling, and securing web experiences.
Open source
- Supabase70DatabaseSan Francisco, United States$933.0M
Open source Firebase alternative with a PostgreSQL backend and real-time capabilities.
Open source · Self-hostable
Qdrant70Vector DatabaseBerlin, Germany$96.5MHigh-performance, open-source vector search engine built in Rust for production-grade AI and machine learning workloads.
Open source · Self-hostable
Teleport69CybersecurityOakland, United States$190.0MProvides identity-based secure access to infrastructure for engineers and machines.
Open source
Pinecone69AI InfrastructureSan Francisco, United States$138.0MManaged vector database for building scalable, reliable, and accurate AI applications and search.
Open source
Netlify69Cloud ComputingSan Francisco, United States$202.1MPlatform for building, deploying, and scaling modern web applications instantly, offering a unified workflow for full-stack apps, APIs, data, and AI features.
Open source