tinfoilsh / verifierLinks
Tinfoil client-side enclave and runtime verifier
☆18Updated this week
Alternatives and similar repositories for verifier
Users that are interested in verifier are comparing it to the libraries listed below
Sorting:
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆135Updated last month
- Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.☆22Updated last week
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆19Updated 3 weeks ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Updated 10 months ago
- Fast block-level file diffs (e.g. for VM disk images) using CoW filesystem metadata☆244Updated 5 months ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆20Updated last week
- Serverless Posttraining☆63Updated this week
- anything you want can be built with morph cloud☆25Updated 2 months ago
- Personal Knowledge Graph - User Memory and Personality from Digital Footprint☆22Updated 3 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
- Model Context Protocol (MCP) server for constraint optimization and solving"☆143Updated 3 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆49Updated 8 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…☆115Updated this week
- A probabilistic approximate DNF counter☆39Updated 2 weeks ago
- Let Claude control a web browser on your machine.☆39Updated 6 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Spamming All forone Powerfull Termux Tools☆19Updated this week
- Blueprint by Mozilla.ai for answering questions about structured documents☆36Updated 9 months ago
- Build AI Agents with Your Existing Python Code!☆70Updated last year
- HTTP responses powered by AI☆16Updated 8 months ago
- PlanAI: A graph-based framework for complex task automation integrating traditional compute and LLM capabilities☆40Updated last month
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Private Web Search for Local LLMs☆153Updated 9 months ago
- ☆30Updated last year
- ArxivTok 📚: Browse ArXiv papers with a TikTok-style vertical swipe interface.☆91Updated 10 months ago
- Guards and protection agnostic to your model or provider☆40Updated last year
- Universal language-agnostic AST walking and accurate call stack generation with tree-sitter.☆124Updated last year
- A GPU Accelerated Binary Vector Store☆47Updated 9 months ago
- A subset of jailbreaks automatically discovered by the Haize Labs haizing suite.☆100Updated 8 months ago