Alternatives and similar repositories for verifier

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

• Bayu12345677 / DisturbMe-v2
  Spamming All forone Powerfull Termux Tools
  ☆24Updated 3 weeks ago
• PrimeIntellect-ai / protocol
  peer-to-peer compute and intelligence network that enables decentralized AI development at scale
  ☆137Updated 2 months ago
• kernel / kernel-mcp-server
  Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
  ☆25Updated 2 weeks ago
• microsoft / RepDL
  A library for reproducible deep learning.
  ☆82Updated last month
• mozilla-ai / structured-qa
  Blueprint by Mozilla.ai for answering questions about structured documents
  ☆37Updated 9 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆40Updated 7 months ago
• synth-laboratories / synth-ai
  Serverless Posttraining
  ☆67Updated this week
• PrimeIntellect-ai / prime
  Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…
  ☆133Updated this week
• geminimir / stripemeter
  Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.
  ☆20Updated last month
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated last month
• PrimeIntellect-ai / prime-iroh
  Asynchronous P2P communication backend for decentralized pipeline parallelism
  ☆38Updated 7 months ago
• 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…
  ☆51Updated 8 months ago
• MurageKibicho / Quasi-Quantum-Assembly
  The Quasi Quantum Assembly Programming Language
  ☆36Updated last month
• IntelLabs / atlas-cli
  A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…
  ☆21Updated this week
• mozilla-ai / byota
  Blueprint to Build Your Own Timeline Algorithm
  ☆71Updated 3 months ago
• CognitionAI / blockdiff
  Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata
  ☆246Updated 6 months ago
• DSiSc / why3
  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…
  ☆13Updated 7 years ago
• jxmorris12 / embzip
  lossily compress representation vectors using product quantization
  ☆59Updated 2 months ago
• endomorphosis / ipfs_transformers_py
  a model manager for the Transformers library, implementing S3 and IPFS downloads
  ☆19Updated last month
• 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.
  ☆298Updated this week
• premAI-io / Ayup
  Quickly and securely turn any Linux box into a build and deployment assistant
  ☆24Updated last year
• SakanaAI / drq
  Digital Red Queen: Adversarial Program Evolution in Core War with LLMs
  ☆54Updated this week
• cloudflare / notebook-examples
  These examples demonstrate how to use the Cloudflare API within interactive Python notebooks.
  ☆24Updated last month
• antithesishq / antithesis-trigger-action
  A GitHub Action to trigger an Antithesis test suite.
  ☆11Updated 3 weeks ago
• Extensible-AI / DAGent
  Build AI Agents with Your Existing Python Code!
  ☆69Updated last year
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆61Updated 7 months ago
• cedana / cedana
  Orchestrated process and container checkpointing
  ☆114Updated this week
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• KrishM123 / transformer.cpp
  TransformerCPP is a minimal C++ machine learning library with autograd and tensor ops, inspired by PyTorch. It includes a from-scratch Tr…
  ☆43Updated 2 months ago
• ErikKaum / beanbox-vm
  A microVM for LLMs and humans
  ☆34Updated last year