Alternatives and similar repositories for verifier

Users that are interested in verifier are comparing it to the libraries listed below

• traceroot-ai / traceroot
  Find the Root Cause in Your Code's Trace
  ☆255Updated this week
• mozilla-ai / structured-qa
  Blueprint by Mozilla.ai for answering questions about structured documents
  ☆38Updated 5 months ago
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆58Updated 2 months ago
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆21Updated last week
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 5 months ago
• aavetis / PRarena
  This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates every 3 hours.
  ☆237Updated this week
• PrimeIntellect-ai / prime-cli
  The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers
  ☆30Updated this week
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆22Updated 3 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆36Updated 2 months ago
• pangeacyber / secure-chatgpt
  ☆20Updated 4 months ago
• getAsterisk / stackwalk
  Universal language-agnostic AST walking and accurate call stack generation with tree-sitter.
  ☆113Updated 11 months ago
• ahenzinger / tiptoe
  The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
  ☆50Updated last year
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆108Updated this week
• PrimeIntellect-ai / toploc
  TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…
  ☆36Updated 4 months ago
• szeider / mcp-solver
  Model Context Protocol (MCP) server for constraint optimization and solving"
  ☆103Updated 2 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• aniemerg / smolcc
  A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.
  ☆36Updated 2 months ago
• danthegoodman1 / bloomsearch
  Keyword search engine with hierarchical bloom filters for massive datasets
  ☆149Updated last week
• guardian / coverdrop
  Blowing the whistle through a news app
  ☆242Updated this week
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆82Updated 3 months ago
• google / heir
  A compiler for homomorphic encryption
  ☆494Updated last week
• Zetier / lariat
  A Command-Line Tool for Efficient Remote Android Device Management. Utilizes DeviceFarmer's API and ADB for streamlined execution of comm…
  ☆23Updated 6 months ago
• CognitionAI / blockdiff
  Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata
  ☆136Updated last month
• NapthaAI / naptha-node
  Software for running personal agents locally that can interact with personal agents on other devices
  ☆60Updated 4 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆134Updated 2 months ago
• google-research / raksha
  ☆37Updated last week
• provos / planai
  PlanAI: A graph-based framework for complex task automation integrating traditional compute and LLM capabilities
  ☆37Updated last week
• redhat-et / homomorphic-learning
  Methodology study for multi-party learning (aka Homomorphic Learning)
  ☆22Updated 2 years ago
• aidecentralized / nanda-servers
  A catalogue of existing Nanda servers
  ☆171Updated 3 months ago
• google / longfellow-zk
  Implementation of the Google Zero-Knowledge library for Identity Protocols.
  ☆820Updated 2 weeks ago