Öffentlicher GitHub-Footprint von Probe

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

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

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.

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.

GitHub Action for running ReqProof verification audit on your project

Safe eval runtime

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

Visor Enterprise Edition - Commercial workflows for code analysis

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

Keine Beschreibung für dieses Repository vorhanden.