Skill Claude Code: verifica adversariale cross-model del lavoro di un agente AI — un modello rivale attacca, Claude arbitra
☆22Aug 23, 2026Updated 2 months ago
Alternatives and similar repositories for verify-agent
Users that are interested in verify-agent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Progetto finale del corso Deep Learning, A.A. 2023/2024, Università degli studi di Cagliari.☆10May 30, 2026Updated 5 months ago
- Libreria AI: skill, repo e strumenti che vale la pena conoscere — descrizioni concise in italiano☆53Aug 25, 2026Updated 2 months ago
- Notion and Obsidian as one workspace. Edit either side, both stay current, nothing gets overwritten. Issues and releases; source not publ…☆12Oct 4, 2026Updated last month
- This is a console-based implementation of the classic game Battleship with an improved CLI graphics system.☆16May 14, 2023Updated 3 years ago
- Model Context Protocol server for Veeam Intelligence☆20Oct 27, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository contains Jupyter notebooks that demonstrate how to use Netspresso to prune pre-trained deep learning models from STM32AI …☆11May 28, 2024Updated 2 years ago
- A Model Context Protocol (MCP) server that automates generating LinkedIn post drafts from YouTube videos. This server provides high-quali…☆22Jul 9, 2025Updated last year
- Software Defined Telescope Pipeline☆15Oct 27, 2026Updated last week
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Google Analytics for your Angular application☆11Jul 14, 2021Updated 5 years ago
- Obsidian plugin that syncs selected vault files with a GitHub repository via the GitHub REST API. No Git binary, desktop and iOS.☆11Oct 15, 2026Updated 2 weeks ago
- ☆21Dec 26, 2025Updated 10 months ago
- Tools for simulating FRBs and injecting them into real data☆12Jun 28, 2022Updated 4 years ago
- ☆28Jan 23, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The first benchmark for both scientific computing and visualization in the astronomy domain.☆14Apr 2, 2026Updated 7 months ago
- Native iPhone companion for self-hosted Hermes, with a private authenticated mobile bridge.☆15Oct 12, 2026Updated 3 weeks ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 4 years ago
- Project that regroup the state-of-the-art knowledge distillation approaches for unsupervised anomaly detection☆16Oct 10, 2025Updated last year
- A SETI / technosignature search code to find intelligent life beyond Earth☆16Dec 15, 2025Updated 10 months ago
- Model routing is a System 1 job: a 421M local decision engine (Laya) against a GPT-5 nano reasoning router. Same accuracy, 35x faster, fr…☆13Sep 20, 2026Updated last month
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Breakthrough Listen Investigation for Periodic Spectral Signals☆17Oct 26, 2026Updated last week
- ☆18Jan 13, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Prerender your ReactJS, AngularJS, and VueJS apps for SEO with Puppeteer☆12Apr 29, 2023Updated 3 years ago
- Security analysis for the RISC-V ISA☆16Aug 1, 2024Updated 2 years ago
- Two y-axes considered harmful☆13Jan 17, 2016Updated 10 years ago
- RISC-V soft-SoC extensible plaftorm for Xilinx FPGAs from University of Naples Federico II.☆20Oct 6, 2026Updated 3 weeks ago
- ai-test-gen-angular is a powerful tool that leverages OpenAI's advanced capabilities to automate the generation of unit tests for your An…☆11May 10, 2024Updated 2 years ago
- Industrial Software Development (MSc Computer Engineering, Cybersecurity and AI, University of Cagliari, Italy)☆33Updated this week
- An R package for analysis of Aswath Damodaran's weighted average cost of capital (WACC) data☆13May 14, 2024Updated 2 years ago
- An AI software application package enabling camera data capture from PC on STM32N6 product (webcam mode).☆17Sep 9, 2026Updated last month
- This Angular project is a demostration of how to integrate the Brotli compression in an Angular project.☆10Oct 16, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A free simple responsive HTML email template for PHPLIST☆14Jan 4, 2019Updated 7 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Reproduce an Economist graph found on the article: [Safe Skies]☆11Sep 11, 2018Updated 8 years ago
- Python Library Implementation of DeepSeti- Algorithm designed to detect anomalies in Radio Seti. The library facilitates the custom archi…☆20Mar 30, 2021Updated 5 years ago
- A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including …☆21Apr 22, 2025Updated last year
- Tools for Stochastic Simulation using diffusion models (R).☆14May 16, 2026Updated 5 months ago
- Code-block driven dashboard for Obsidian.☆15Oct 16, 2026Updated 2 weeks ago