Skip to content

@probelabs Probe

Change the repository type filter

All

    Repositories list

    29 repositories

    • homebrew-proof

      Public
      Homebrew tap for the proof CLI
      Ruby
      •0•0•0•0•Updated Aug 15, 2026Aug 15, 2026

    • ssv-network

      Public
      SSV Network's smart contracts
      TypeScript
      •
      GNU General Public License v3.0
      •74•0•0•0•Updated Aug 14, 2026Aug 14, 2026

    • visor

      Public
      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
      cliautomationtypescriptaimcpworkflow-enginecode-reviewslack-botai-agentsgithub-actions
      TypeScript
      •
      MIT License
      •2•23•2•19•Updated Aug 14, 2026Aug 14, 2026

    • probe

      Public
      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
      rustclisearch-enginetree-sitteraimcpastcode-searchripgrepsemantic-search
      Rust
      •
      Apache License 2.0
      •64•682•13•2•Updated Aug 14, 2026Aug 14, 2026

    • amazon-bedrock-serverless-prompt-chaining-audit

      Public
      Private ReqProof audit workspace for aws-samples/amazon-bedrock-serverless-prompt-chaining. Contains undisclosed security findings — do not make public.
      Python
      •
      MIT No Attribution
      •0•0•0•14•Updated Aug 14, 2026Aug 14, 2026

    • xerj

      Public
      Rust
      •
      Apache License 2.0
      •287•0•0•2•Updated Aug 13, 2026Aug 13, 2026

    • jsonparser

      Public
      THE fastest alternative JSON parser for Go that does not require schema
      Go
      •
      MIT License
      •457•0•0•0•Updated Aug 3, 2026Aug 3, 2026

    • posthog-proof

      Public
      :hedgehog: PostHog is the leading platform for building self-driving products. Our developer tools – AI observability, analytics, session replay, flags, experim…
      Python
      •
      Other
      •3.2k•1•0•0•Updated Aug 1, 2026Aug 1, 2026

    • xml-fuzz

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jul 30, 2026Jul 30, 2026

    • graphql-fuzz

      Public
      Structure-aware GraphQL fuzzer: grammar-based query/operation/schema generators, GraphQL-aware mutations, and correctness gates for differential testing of Grap…
      Rust
      •0•1•0•0•Updated Jul 27, 2026Jul 27, 2026

    • json-fuzz

      Public
      Structure-aware JSON fuzzer: grammar-based generator, JSON-aware mutations, and correctness gates for differential testing of JSON parsers (Go).
      Go
      •0•0•0•0•Updated Jul 27, 2026Jul 27, 2026

    • SandboxJS

      Public
      Safe eval runtime
      TypeScript
      •
      MIT License
      •25•1•0•0•Updated Jun 24, 2026Jun 24, 2026

    • proof-tracker

      Public
      0•0•0•0•Updated Jun 19, 2026Jun 19, 2026

    • proof-solidity-demo

      Public
      ReqProof Solidity Governor + Timelock dogfood case study
      Solidity
      •0•0•0•0•Updated May 21, 2026May 21, 2026

    • maid

      Public
      A lightweight Mermaid diagram linter which helps humans and AI with perfect diagrams
      TypeScript
      •
      ISC License
      •1•27•7•0•Updated May 4, 2026May 4, 2026

    • proof-action

      Public
      GitHub Action for running ReqProof verification audit on your project
      Shell
      •0•1•0•0•Updated Apr 19, 2026Apr 19, 2026

    • kind2

      Public
      Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
      OCaml
      •
      Apache License 2.0
      •35•0•0•0•Updated Mar 31, 2026Mar 31, 2026

    • probelabs-assistant

      Public
      ProbeLabs AI Assistant - AI-powered assistant for exploring and working with ProbeLabs projects
      Python
      •0•0•0•4•Updated Mar 12, 2026Mar 12, 2026

    • probelabs.com

      Public
      Official website for Probe Labs - home of Probe, Maid, and other developer tools
      HTML
      •0•0•0•0•Updated Mar 8, 2026Mar 8, 2026

    • probe-quickstart

      Public
      Quickstart template for building AI assistants with Probe — define skills, tools, and knowledge in YAML
      yamlmcpprobe
      yamlmcpprobequickstartslack-botai-assistantllm
      MIT License
      •0•1•0•0•Updated Mar 3, 2026Mar 3, 2026

    • visor-ee

      Public
      Visor Enterprise Edition - Commercial workflows for code analysis
      Other
      •0•1•0•1•Updated Feb 18, 2026Feb 18, 2026

    • .github

      Public
      0•0•0•0•Updated Feb 16, 2026Feb 16, 2026

    • memaris

      Public
      Stop re-teaching your AI. Turn past Claude Code sessions into persistent memory.
      productivitydeveloper-toolspattern-recognition
      productivitydeveloper-toolspattern-recognitionclaudeconversation-analysisai-assistantanthropicai-memoryclaude-codeprobe-ecosystem
      TypeScript
      •
      MIT License
      •1•6•0•1•Updated Feb 12, 2026Feb 12, 2026

    • goreplay

      Public
      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
      testinggodevopsqatesting-tools
      Go
      •
      Other
      •93•19k•290•51•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
      •21•87•3•0•Updated Oct 12, 2025Oct 12, 2025

    • logoscope

      Public
      AI‑Optimized Log Analysis CLI — patterns, temporal analytics, anomalies; streaming + npm wrapper.
      rustclistreaming
      rustclistreaminglog-analysisailogsobservabilitydrainanomaly-detection
      Makefile
      •1•5•0•1•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
      nodejscliremote-controltelegram-botafkzero-dependenciesapproval-systemclaude-code
      JavaScript
      •
      MIT License
      •2•6•0•0•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
      aimcpcode-analysisartificial-intelligencedeveloper-toolscursorcontext-extractionclaude
      JavaScript
      •
      MIT License
      •1•4•0•0•Updated Sep 6, 2025Sep 6, 2025

    • vow

      Public
      🤝 A sacred covenant between machine and man. Accountability gates for AI agents.
      agentaideveloper-tools
      agentaideveloper-toolsgit-hooksconsenthuskyai-safetyaccountabilityethicsclaude
      JavaScript
      •
      MIT License
      •0•2•0•0•Updated Sep 3, 2025Sep 3, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.