Probe ORG

GoReplay is an open-source tool for capturing and replaying live HTTP traffic into a test environment in order to continuously test your system with real data. It can be used to increase confidence in code deployments, configuration changes and infrastructure changes.

AI-friendly semantic code search engine for large codebases. Combines ripgrep speed with tree-sitter AST parsing. Powers AI coding assistants with precise, context-aware code understanding.

Turn any github repo to MCP server, and chat with code or docs

Visor — AI workflow engine for code review, assistants, and automation. Orchestrates checks, MCP tools, and AI providers with YAML-driven pipelines. Runs as GitHub Action, CLI, Slack bot, or HTTP API.

A lightweight Mermaid diagram linter which helps humans and AI with perfect diagrams

Stop re-teaching your AI. Turn past Claude Code sessions into persistent memory.

Remote control and approval system for Claude Code via Telegram. Zero dependencies, Node.js 18+ built-ins only.

AI‑Optimized Log Analysis CLI — patterns, temporal analytics, anomalies; streaming + npm wrapper.

BigBrain MCP Server - When your AI needs a bigger brain. Intelligent context extraction and round-trip workflow for getting fresh AI insights when stuck.

🤝 A sacred covenant between machine and man. Accountability gates for AI agents.

Safe eval runtime

GitHub Action for running ReqProof verification audit on your project

Quickstart template for building AI assistants with Probe — define skills, tools, and knowledge in YAML

Visor Enterprise Edition - Commercial workflows for code analysis

No description.

SSV Network's smart contracts

No description.

Homebrew tap for the proof CLI

ReqProof Solidity Governor + Timelock dogfood case study

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

ProbeLabs AI Assistant - AI-powered assistant for exploring and working with ProbeLabs projects

Official website for Probe Labs - home of Probe, Maid, and other developer tools

No description.