Alternatives and similar repositories for verifier

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

• onkernel / kernel-mcp-server
  Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
  ☆21Updated last week
• PrimeIntellect-ai / protocol
  peer-to-peer compute and intelligence network that enables decentralized AI development at scale
  ☆132Updated last week
• CognitionAI / blockdiff
  Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata
  ☆233Updated 4 months ago
• edgelesssys / privatemode-public
  ☆28Updated this week
• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 9 months ago
• geminimir / stripemeter
  Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.
  ☆19Updated 2 weeks ago
• synth-laboratories / synth-ai
  Managed Agent Posttraining
  ☆56Updated this week
• provos / planai
  PlanAI: A graph-based framework for complex task automation integrating traditional compute and LLM capabilities
  ☆39Updated last month
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆31Updated 8 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆25Updated last month
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated last month
• Zetier / lariat
  A Command-Line Tool for Efficient Remote Android Device Management. Utilizes DeviceFarmer's API and ADB for streamlined execution of comm…
  ☆24Updated 9 months ago
• winfunc / stackwalk
  Universal language-agnostic AST walking and accurate call stack generation with tree-sitter.
  ☆124Updated last year
• cedana / cedana-cli
  CLI to the Cedana Service
  ☆58Updated 6 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆39Updated 5 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…
  ☆48Updated 7 months ago
• nubificus / vaccel
  vAccel is a runtime library that aims to help development of applications using hardware acceleration
  ☆44Updated last week
• crisdosaygo / janus
  A P2P blog and P2P Chat with no signalling server. Nothin' but RTC!
  ☆15Updated 2 years ago
• Extensible-AI / DAGent
  Build AI Agents with Your Existing Python Code!
  ☆67Updated last year
• ErikKaum / beanbox-vm
  A microVM for LLMs and humans
  ☆34Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• kevmo314 / vibe-http
  HTTP responses powered by AI
  ☆16Updated 7 months ago
• BismuthCloud / asimov
  A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…
  ☆31Updated 5 months ago
• pig-dot-dev / piglet
  ☆142Updated 8 months ago
• cjpais / LocalScore
  LocalScore is an open benchmark which helps you understand how well your computer can handle local AI tasks.
  ☆68Updated 2 months ago
• jxmorris12 / embzip
  lossily compress representation vectors using product quantization
  ☆59Updated 3 weeks ago
• haizelabs / thorn-in-haizestack
  Thorn in a HaizeStack test for evaluating long-context adversarial robustness.
  ☆26Updated last year
• endomorphosis / ipfs_datasets_py
  a decentralized dataset generator and manipulator.
  ☆11Updated last week
• p2p-industries / hyveos
  Robot communication and coordination network.
  ☆69Updated 6 months ago
• cased / sandboxes
  Universal API for cloud sandboxes + CLI
  ☆57Updated last week