Repositories list

• sourcerykit

  Public
  Python SDK for accurate and verifiable agent tool use. Agents verify that answers came from the right source and were not changed. Downstream agents detect 100%…

  securitymcppython-sdk+ 15

  securitymcppython-sdkai-agentsai-securityzero-knowledge-proofslangchainprompt-injectionllm-securitylanggraph+ 8

  Python

  •

  Other

  •11 fork in ProvablyAI/sourcerykit•2121 stars in ProvablyAI/sourcerykit•1212 issues in ProvablyAI/sourcerykit•22 pull requests in ProvablyAI/sourcerykit•Updated Oct 14, 2026Oct 14, 2026

• switchboard-releases

  Public
  Other

  •00 forks in ProvablyAI/switchboard-releases•00 stars in ProvablyAI/switchboard-releases•00 issues in ProvablyAI/switchboard-releases•00 pull requests in ProvablyAI/switchboard-releases•Updated Sep 16, 2026Sep 16, 2026

• buzz

  Public
  A hive mind communication platform

  Rust

  •

  Apache License 2.0

  •4.8k4.8k forks in ProvablyAI/buzz•00 stars in ProvablyAI/buzz•00 issues in ProvablyAI/buzz•11 pull request in ProvablyAI/buzz•Updated Aug 6, 2026Aug 6, 2026

• qedb

  Public
  Expressive and Modular Verifiable Databases (without SNARKs)

  Rust

  •

  Other

  •00 forks in ProvablyAI/qedb•11 star in ProvablyAI/qedb•00 issues in ProvablyAI/qedb•00 pull requests in ProvablyAI/qedb•Updated Aug 4, 2026Aug 4, 2026

• skilder-sourcerykit-examples

  Public
  Python

  •00 forks in ProvablyAI/skilder-sourcerykit-examples•00 stars in ProvablyAI/skilder-sourcerykit-examples•00 issues in ProvablyAI/skilder-sourcerykit-examples•00 pull requests in ProvablyAI/skilder-sourcerykit-examples•Updated Aug 3, 2026Aug 3, 2026

• staged-recipes

  Public
  A place to submit conda recipes before they become fully fledged conda-forge feedstocks

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •6.4k6.4k forks in ProvablyAI/staged-recipes•00 stars in ProvablyAI/staged-recipes•00 issues in ProvablyAI/staged-recipes•00 pull requests in ProvablyAI/staged-recipes•Updated Jul 2, 2026Jul 2, 2026

• sourcerykit-v1

  Public archive
  SourceryKit — counterspell for hallucinating agents. Python SDK that breaks the illusion on every tool call, API response, and MCP handoff before bad outputs pr…

  Python

  •

  Other

  •11 fork in ProvablyAI/sourcerykit-v1•00 stars in ProvablyAI/sourcerykit-v1•00 issues in ProvablyAI/sourcerykit-v1•00 pull requests in ProvablyAI/sourcerykit-v1•Updated Jun 30, 2026Jun 30, 2026

• .github

  Public
  00 forks in ProvablyAI/.github•11 star in ProvablyAI/.github•00 issues in ProvablyAI/.github•00 pull requests in ProvablyAI/.github•Updated Jun 4, 2026Jun 4, 2026

• query-parser

  Public archive
  Rust

  •

  Apache License 2.0

  •11 fork in ProvablyAI/query-parser•00 stars in ProvablyAI/query-parser•00 issues in ProvablyAI/query-parser•22 pull requests in ProvablyAI/query-parser•Updated Nov 24, 2025Nov 24, 2025

• zkfriendlyhashzoo-forked

  Public archive
  Rust

  •

  MIT License

  •00 forks in ProvablyAI/zkfriendlyhashzoo-forked•00 stars in ProvablyAI/zkfriendlyhashzoo-forked•00 issues in ProvablyAI/zkfriendlyhashzoo-forked•00 pull requests in ProvablyAI/zkfriendlyhashzoo-forked•Updated May 18, 2024May 18, 2024