☆49Jan 15, 2026Updated 6 months ago
Alternatives and similar repositories for AgentSpec
Users that are interested in AgentSpec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- Progent: Securing AI Agents with Privilege Control☆47May 14, 2026Updated 3 months ago
- [ICML'26] Learning Query-Aware Budget-Tier Routing for Runtime Agent Memory☆22Jun 10, 2026Updated 2 months ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A reversible code minifier for AI. Save tokens by stripping code format in your prompt, then perfectly restore it in the responces.☆21Mar 23, 2026Updated 4 months ago
- ☆48Dec 9, 2025Updated 8 months ago
- A benchmarking framework for on-device AI☆20Jul 30, 2026Updated 2 weeks ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆88Mar 5, 2024Updated 2 years ago
- [ACL 2024, Main Conference] CoGenesis: A Framework Collaborating Large and Small Language Models for Secure Context-Aware Instruction Fol…☆15Aug 7, 2024Updated 2 years ago
- Mixed reality communication system for remote meetings.☆14Feb 21, 2019Updated 7 years ago
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- This repo contains code related to development of LLM based projects with Langchain and LLamaIndex. It uses RAG, Function calling, agents…☆11Jul 19, 2024Updated 2 years ago
- Official Implementation of "ToolSafe: Enhancing Tool Invocation Safety of LLM-based Agents via Proactive Step-level Guardrail and Feedbac…☆75Mar 25, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MutliAgent Attack☆15Oct 3, 2024Updated last year
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 4 years ago
- Archer: Agentic Code Review for LLVM PRs☆26Aug 8, 2026Updated last week
- Joern Workshops☆33Jan 16, 2025Updated last year
- Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆19Mar 10, 2025Updated last year
- ☆12Jul 21, 2023Updated 3 years ago
- [SDM'23] ML4C: Seeing Causality Through Latent Vicinity☆14Nov 9, 2022Updated 3 years ago
- ☆158Jul 2, 2024Updated 2 years ago
- A blog engine. Code for roselia.moe/blog☆10Apr 18, 2026Updated 3 months 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 Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆25Mar 12, 2026Updated 5 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆215Oct 24, 2025Updated 9 months ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆22Sep 12, 2024Updated last year
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆14Aug 27, 2024Updated last year
- Agent Security Bench (ASB)☆283Apr 16, 2026Updated 3 months ago
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 3 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 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.
- ☆13Apr 21, 2026Updated 3 months ago
- ☆157Aug 11, 2025Updated last year
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆28Feb 13, 2025Updated last year
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆20Dec 18, 2023Updated 2 years ago
- Unsupervised Graph Poisoning Attack via Contrastive Loss Back-propagation, WWW22☆17Jun 30, 2022Updated 4 years ago
- Gephi tutorials for data visualisation lecture. A Network Tour of Data Science 2019 Fall semester☆12Apr 11, 2021Updated 5 years ago
- [ICLR'24 Spotlight] A language model (LM)-based emulation framework for identifying the risks of LM agents with tool use☆217Mar 22, 2024Updated 2 years ago