Semia, security audit for AI agent skills.
☆595Sep 1, 2026Updated this week
Alternatives and similar repositories for Semia
Users that are interested in Semia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Dec 3, 2025Updated 9 months ago
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- AI 驱动的多 Agent 自主代码安全审计：审计计划、危险 Sink 发现与调用链分析；AI-driven multi-agent autonomous code security auditor — audit planning, sink discovery & ca…☆98Aug 1, 2026Updated last month
- Parsing-based Analyzer☆79Jun 8, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆43Dec 8, 2025Updated 8 months ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 5 years ago
- 子域名收集工具☆18Mar 26, 2025Updated last year
- ☆18Nov 6, 2024Updated last year
- GitHub Advisory Database Skills builder☆75Mar 14, 2026Updated 5 months ago
- SAST+AI的代码审计☆24Feb 28, 2026Updated 6 months ago
- 一个基于大模型的代码安全审计工具，支持命令行和 Streamlit Web 界面两种使用方式。☆70Apr 21, 2026Updated 4 months ago
- ☆29Mar 16, 2023Updated 3 years ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆54Jun 18, 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.
- ☆26Aug 14, 2024Updated 2 years ago
- ☆47Aug 31, 2023Updated 3 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago
- The official repository of the paper "The Digital Cybersecurity Expert: How Far Have We Come?" presented in IEEE S&P 2025☆24May 21, 2025Updated last year
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- Challenges and Solutions of Blaz CTF 2023☆46Dec 5, 2023Updated 2 years ago
- MacOS kernel memory leak (4 bytes)☆30Apr 14, 2020Updated 6 years ago
- Orchestrate thousands of agents and harnesses as a graph programatically☆1,381Aug 25, 2026Updated last week
- 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.
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated 2 years ago
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆320Aug 14, 2026Updated 2 weeks ago
- ☆18Oct 1, 2024Updated last year
- CVE-2020-4464 / CVE-2020-4450☆36Aug 24, 2021Updated 5 years ago
- The fuzzing framework named SHADOWFUZZER to find clientside vulnerabilities when processing incoming MQTT messages.☆20May 10, 2023Updated 3 years ago
- Slides of mine.☆11Apr 19, 2024Updated 2 years ago
- net-audit-skills☆52Jun 1, 2026Updated 3 months ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- Agentic skills for vulnerability detection.☆24Jul 17, 2026Updated last month
- 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.
- ⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository sta…☆27Updated this week
- 在无回显的情况下，通过curl外带命令，达到回显的效果☆41Nov 27, 2023Updated 2 years ago
- Multi-turn Injection Planning System for LLM Evaluation☆18Dec 10, 2025Updated 8 months ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 4 years ago
- 一款基于Zjackky/CodeScan的轻量级匹配Sink点并AI审计的代码审计扫描器☆253Feb 13, 2025Updated last year
- Windowed big integer multiplication implementation on Bitcoin Script☆14Nov 27, 2024Updated last year
- CVE-Bench: A Benchmark for AI Agents’ Ability to Exploit Real-World Web Application Vulnerabilities☆275Jan 14, 2026Updated 7 months ago