Repositories list

• homebrew-proof

  Public

  probelabs/homebrew-proof’s past year of commit activity
  Homebrew tap for the proof CLI

  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• proof-action

  Public

  probelabs/proof-action’s past year of commit activity
  GitHub Action for running ReqProof verification audit on your project

  Shell

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• maid

  Public

  probelabs/maid’s past year of commit activity
  A lightweight Mermaid diagram linter which helps humans and AI with perfect diagrams

  TypeScript

  •

  ISC License

  •11 fork•1515 stars•11 issue•22 pull requests•Updated Apr 15, 2026Apr 15, 2026

• visor

  Public

  probelabs/visor’s past year of commit activity
  Visor — AI workflow engine for code review, assistants, and automation. Orchestrates checks, MCP tools, and AI providers with YAML-driven pipelines. Runs as Git…

  cliautomationtypescript+ 7

  cliautomationtypescriptaimcpworkflow-enginecode-reviewslack-botai-agentsgithub-actions

  TypeScript

  •

  MIT License

  •22 forks•1919 stars•11 issue•66 pull requests•Updated Apr 6, 2026Apr 6, 2026

• probe

  Public

  probelabs/probe’s past year of commit activity
  AI-friendly semantic code search engine for large codebases. Combines ripgrep speed with tree-sitter AST parsing. Powers AI coding assistants with precise, cont…

  rustclisearch-engine+ 9

  rustclisearch-enginetree-sitteraimcpastcode-searchripgrepsemantic-search+ 2

  Rust

  •

  Apache License 2.0

  •5656 forks•549549 stars•1212 issues•11 pull request•Updated Apr 6, 2026Apr 6, 2026

• kind2

  Public

  probelabs/kind2’s past year of commit activity
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

  OCaml

  •

  Apache License 2.0

  •3232 forks•00 stars•00 issues•00 pull requests•Updated Mar 31, 2026Mar 31, 2026

• probelabs-assistant

  Public

  probelabs/probelabs-assistant’s past year of commit activity
  ProbeLabs AI Assistant - AI-powered assistant for exploring and working with ProbeLabs projects

  Python

  •00 forks•00 stars•00 issues•44 pull requests•Updated Mar 12, 2026Mar 12, 2026

• probelabs.com

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

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 8, 2026Mar 8, 2026

• SandboxJS

  Public

  probelabs/SandboxJS’s past year of commit activity
  Safe eval runtime

  JavaScript

  •

  MIT License

  •1717 forks•11 star•00 issues•00 pull requests•Updated Mar 8, 2026Mar 8, 2026

• probe-quickstart

  Public

  probelabs/probe-quickstart’s past year of commit activity
  Quickstart template for building AI assistants with Probe — define skills, tools, and knowledge in YAML

  yamlmcpprobe+ 4

  yamlmcpprobequickstartslack-botai-assistantllm

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 3, 2026Mar 3, 2026

• visor-ee

  Public
  Visor Enterprise Edition - Commercial workflows for code analysis

  Other

  •00 forks•11 star•00 issues•11 pull request•Updated Feb 18, 2026Feb 18, 2026

• .github

  Public

  probelabs/.github’s past year of commit activity
  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 16, 2026Feb 16, 2026

• memaris

  Public

  probelabs/memaris’s past year of commit activity
  Stop re-teaching your AI. Turn past Claude Code sessions into persistent memory.

  productivitydeveloper-toolspattern-recognition+ 7

  productivitydeveloper-toolspattern-recognitionclaudeconversation-analysisai-assistantanthropicai-memoryclaude-codeprobe-ecosystem

  TypeScript

  •

  MIT License

  •11 fork•66 stars•00 issues•11 pull request•Updated Feb 12, 2026Feb 12, 2026

• goreplay

  Public

  probelabs/goreplay’s past year of commit activity
  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. …

  testinggodevops+ 2

  testinggodevopsqatesting-tools

  Go

  •

  Other

  •8686 forks•19k19k stars•290290 issues•5050 pull requests•Updated Jan 27, 2026Jan 27, 2026

• docs-mcp

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

  JavaScript

  •

  MIT License

  •2323 forks•8989 stars•22 issues•00 pull requests•Updated Oct 12, 2025Oct 12, 2025

• logoscope

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

  rustclistreaming+ 6

  rustclistreaminglog-analysisailogsobservabilitydrainanomaly-detection

  Makefile

  •00 forks•55 stars•00 issues•00 pull requests•Updated Sep 9, 2025Sep 9, 2025

• afk

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

  nodejscliremote-control+ 5

  nodejscliremote-controltelegram-botafkzero-dependenciesapproval-systemclaude-code

  JavaScript

  •

  MIT License

  •22 forks•66 stars•00 issues•00 pull requests•Updated Sep 8, 2025Sep 8, 2025

• big-brain

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

  aimcpcode-analysis+ 5

  aimcpcode-analysisartificial-intelligencedeveloper-toolscursorcontext-extractionclaude

  JavaScript

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Sep 6, 2025Sep 6, 2025

• vow

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

  agentaideveloper-tools+ 7

  agentaideveloper-toolsgit-hooksconsenthuskyai-safetyaccountabilityethicsclaude

  JavaScript

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Sep 3, 2025Sep 3, 2025