First formal security scanner for AI agent skills & plugins. Static analysis, supply chain verification, SBOM generation. 22 frameworks supported including MCP, LangChain, CrewAI.
☆36Oct 2, 2026Updated last week
Alternatives and similar repositories for skillfortify
Users that are interested in skillfortify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Security Benchmark for Claude Code Agent Skills☆78Aug 3, 2026Updated 2 months ago
- Skill-Inject: Measuring Agent Vulnerability to Skill File Attacks☆99Aug 29, 2026Updated last month
- Peer-to-peer communication for AI coding agents. 8 MCP tools, full CLI, Python client. Part of the Qualixar research initiative by Varun …☆18Oct 2, 2026Updated last week
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆32Mar 26, 2025Updated last year
- Emergent Communication Pretraining for Few-Shot Machine Translation☆13Dec 3, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Camouflage YOLO - (CAMOLO) trains adversarial patches to confuse the YOLO family of object detectors.☆13Oct 20, 2022Updated 3 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- A verifier that integrates LLMs into automated C program verification☆19Apr 4, 2026Updated 6 months ago
- ☆42Mar 12, 2025Updated last year
- AE-solver and Skolemizer☆18Jul 12, 2026Updated 2 months ago
- Implementation of the algorithms from "Scalable Lock-Free Dynamic Memory Allocation"☆17Sep 22, 2014Updated 12 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆12May 20, 2019Updated 7 years ago
- A benchmark and generation framework for malicious agent skills.☆60Jun 10, 2026Updated 3 months ago
- Official Implementation of implicit reference attack☆11Oct 16, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Progent: Securing AI Agents with Privilege Control☆52Sep 24, 2026Updated 2 weeks ago
- 论文里可以用到的实验图示例☆19Jul 23, 2026Updated 2 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- Code for ICLR 2025 Failures to Find Transferable Image Jailbreaks Between Vision-Language Models☆37Jun 1, 2025Updated last year
- 本仓库整理公开披露的 OpenClaw 恶意 / 可疑 Skills 样本，并对其进行分类、 分级与风险说明，供安全研究、平台治理和风险检测使用。☆21Mar 16, 2026Updated 6 months ago
- A SyGuS Solver☆30May 18, 2025Updated last year
- leetcode 辅助，自动化完成每日任务领取积分☆16Jul 6, 2024Updated 2 years ago
- ☆15Nov 12, 2024Updated last year
- Official release of code for the paper RL is a hammer and LLMs are nails A simple RL approach to stronger prompt injection attacks☆57May 6, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code for our NeurIPS 2024 paper Improved Generation of Adversarial Examples Against Safety-aligned LLMs☆12Nov 7, 2024Updated last year
- ☆18Mar 9, 2025Updated last year
- [CVPRW'22] A privacy attack that exploits Adversarial Training models to compromise the privacy of Federated Learning systems.☆12Jul 7, 2022Updated 4 years ago
- ☆16Sep 17, 2024Updated 2 years ago
- Official companion repository for our survey "A Survey of the OpenClaw Ecosystem: From Platform Extensibility to Constraint Design" — a c…☆20May 31, 2026Updated 4 months ago
- ☆14Nov 11, 2019Updated 6 years ago
- Generates loop invariants for program verification☆65Jan 22, 2021Updated 5 years ago
- ☆23Jan 25, 2023Updated 3 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- 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.
- ☆12Dec 29, 2022Updated 3 years ago
- An example code of implement of PGD and FGSM algorithm for adversarial attack☆12Mar 3, 2022Updated 4 years ago
- Custom Keras ML block example for Edge Impulse☆12Sep 17, 2026Updated 3 weeks ago
- scikit-learn: machine learning in Python☆17Oct 16, 2021Updated 4 years ago
- 广州大学研究生学位论文非官方模板☆21Mar 19, 2025Updated last year
- ICCV 2021☆14Oct 6, 2021Updated 5 years ago
- Skill retrieval benchmark dataset and evaluation code.☆26Sep 25, 2026Updated 2 weeks ago