Alternatives and similar repositories for probo

Users that are interested in probo are comparing it to the libraries listed below

• trycompai / comp
  The open source compliance platform - Drata & Vanta Alternative
  ☆813Updated this week
• JasonGross / autoformalization-transpilation
  Using LLMs to transpile from Coq to Lean (public version, may be out of date)
  ☆19Updated 2 months ago
• The-LLM-Data-Company / doteval
  doteval
  ☆20Updated last month
• blaxel-ai / sdk-python
  ☆19Updated this week
• useautumn / autumn
  Autumn is an open-source pricing & billing platform
  ☆321Updated this week
• WorkflowAI / WorkflowAI
  WorkflowAI is an open-source platform where product and engineering teams 
collaborate to build and iterate on AI features.
  ☆396Updated this week
• golf-mcp / golf
  Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…
  ☆552Updated this week
• trytrench / trench
  Open source fraud and abuse prevention tools
  ☆208Updated last year
• flowglad / flowglad
  Open source payments + billing infrastructure
  ☆163Updated this week
• openintegrations / openint
  OpenInt is the fastest way to add native product integrations to your app.
  ☆179Updated this week
• glasskube / distr
  The Open Source control plane for self-managed, BYOC, and on-prem deployments. Everything you need to distribute applications to self-man…
  ☆600Updated this week
• antiwork / helper
  Customer support agents
  ☆379Updated this week
• Operative-Sh / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆961Updated this week
• inferablehq / inferable
  Build reliable AI Workflows and Agents with humans in the loop, structured outputs and durable execution.
  ☆374Updated this week
• supavec / supavec
  The open-source alternative to Carbon.ai. Build powerful RAG applications with any data source, at any scale.
  ☆601Updated this week
• antiwork / flexile
  Equity for everyone.
  ☆512Updated this week
• tesseral-labs / tesseral
  Open source auth infrastructure for B2B SaaS
  ☆739Updated this week
• FrigadeHQ / trench
  Trench — Open-Source Analytics Infrastructure. A single production-ready Docker image built on ClickHouse, Kafka, and Node.js for trackin…
  ☆1,561Updated last month
• unbody-io / unbody
  The Supabase of AI era. A modular, open-source backend for building AI-native software — designed for knowledge, not static data.
  ☆282Updated this week
• panoratech / Panora
  Open-Sourcing the integration engine our platform runs on
  ☆999Updated this week
• fleuristes / fleur
  The easiest way to discover and install MCPs
  ☆479Updated 2 weeks ago
• seatgeek / mailroom
  Framework for creating, routing, and delivering user notifications based on events from external systems
  ☆544Updated this week
• inngest / agent-kit
  AgentKit: Build multi-agent networks in TypeScript with deterministic routing and rich tooling via MCP.
  ☆467Updated this week
• techulus / changes-page
  Changelog simplified.
  ☆253Updated 2 weeks ago
• chonkie-inc / chonkie
  🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library
  ☆1,025Updated last week
• cased / kit
  The toolkit for codebase mapping, symbol extraction, and many kinds of code search. Build AI-powered devtools
  ☆443Updated this week
• xynehq / xyne
  AI-first Search & Answer Engine for work. Open-source alternative to Glean.
  ☆531Updated this week
• FormBee / FormBee
  The open-source form backend for data privacy conscious developers.
  ☆730Updated 4 months ago
• Vexa-ai / vexa
  Self-hosted, multi-user API that drops bots into Google Meet for real-time transcripts.
  ☆880Updated this week
• hookdeck / outpost
  Open Source Outbound Webhooks and Event Destinations Infrastructure
  ☆589Updated this week