Alternatives and similar repositories for verifier

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

• kernel / kernel-mcp-server
  Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
  ☆25Updated last month
• 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
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 2 months ago
• geminimir / stripemeter
  Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.
  ☆20Updated 2 months ago
• IntelLabs / atlas-cli
  A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…
  ☆21Updated last week
• CognitionAI / blockdiff
  Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata
  ☆246Updated 7 months ago
• Bayu12345677 / DisturbMe-v2
  Spamming All forone Powerfull Termux Tools
  ☆27Updated last month
• neuralinkcorp / datarepo
  ☆159Updated 4 months ago
• microsoft / RepDL
  A library for reproducible deep learning.
  ☆83Updated 2 months ago
• provos / planai
  PlanAI: A graph-based framework for complex task automation integrating traditional compute and LLM capabilities
  ☆41Updated 3 months ago
• signalapp / SecureValueRecovery2
  ☆56Updated 2 weeks ago
• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 11 months ago
• synth-laboratories / synth-ai
  Prompt Optimization
  ☆72Updated this week
• unikraft / catalog
  Unikraft Applications & Examples Catalog
  ☆77Updated last month
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆117Updated 3 months ago
• AbanteAI / LoCoDiff-bench
  ☆25Updated 3 months ago
• traceroot-ai / traceroot
  Find the Root Cause in Your Code's Trace
  ☆389Updated this week
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• p2p-industries / hyveos
  Robot communication and coordination network.
  ☆70Updated 3 weeks ago
• nuanced-dev / nuanced-py
  Enriched Python function call graphs for agents and coding assistants
  ☆126Updated 7 months ago
• Lytix-Labs / optimodel
  Guards and protection agnostic to your model or provider
  ☆40Updated last year
• exo-explore / private-search
  Private Web Search for Local LLMs
  ☆168Updated 11 months ago
• Zetier / lariat
  A Command-Line Tool for Efficient Remote Android Device Management. Utilizes DeviceFarmer's API and ADB for streamlined execution of comm…
  ☆25Updated last year
• endomorphosis / ipfs_datasets_py
  a decentralized dataset generator and manipulator.
  ☆11Updated this week
• aidecentralized / nanda-servers
  A catalogue of existing Nanda servers
  ☆190Updated 9 months ago
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆52Updated last month
• centerforaisafety / rli_evaluation_platform
  Public repository for the Remote Labor Index (RLI)
  ☆43Updated 2 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆40Updated 7 months ago
• belfortlabs / hello-fpga
  Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
  ☆23Updated last month
• danthegoodman1 / bloomsearch
  Keyword search engine with hierarchical bloom filters for massive datasets
  ☆160Updated 4 months ago