tinfoilsh / verifierLinks
Tinfoil client-side enclave and runtime verifier
☆14Updated 3 weeks ago
Alternatives and similar repositories for verifier
Users that are interested in verifier are comparing it to the libraries listed below
Sorting:
- Let Claude control a web browser on your machine.☆36Updated 3 months ago
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆77Updated this week
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆118Updated last month
- A microVM for LLMs and humans☆33Updated last year
- A catalogue of existing Nanda servers☆185Updated 4 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆40Updated 4 months ago
- This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates every 3 hours.☆243Updated this week
- Tensor library & inference framework for machine learning☆109Updated last week
- The Finite Field Assembly Programming Language☆36Updated 3 months ago
- Software for running personal agents locally that can interact with personal agents on other devices☆60Updated 5 months ago
- HTTP responses powered by AI☆16Updated 5 months ago
- Blueprint by Mozilla.ai for answering questions about structured documents☆36Updated 5 months ago
- ☆34Updated 4 months ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆113Updated 2 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆188Updated 3 months ago
- Private Web Search for Local LLMs☆140Updated 6 months ago
- A probabilistic approximate DNF counter☆37Updated this week
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- ☆225Updated 5 months ago
- Guards and protection agnostic to your model or provider☆39Updated 9 months ago
- ☆58Updated 4 months ago
- Find the Root Cause in Your Code's Trace☆311Updated this week
- Robot communication and coordination network.☆67Updated 3 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 6 months ago
- A Command-Line Tool for Efficient Remote Android Device Management. Utilizes DeviceFarmer's API and ADB for streamlined execution of comm…☆23Updated 7 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 2 months ago
- mkinf SDK to interact with mkinf hub MCP servers☆134Updated 5 months ago
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆12Updated 7 years ago
- An unofficial API for Venmo.☆71Updated 6 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month