
ConcoLLMic
LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

AI-agent skills for distributed-systems testing

OWASP Secure Agent Playbook Project

Formal inter-procedural taint analysis engine for application security. Tracks untrusted data across function boundaries, persistence layers, and…

Automated prompt injection testing framework for LLM-integrated applications with dual-LLM architecture.

一个轻量级浏览器抓包与安全分析扩展,在浏览器侧边栏中即可完成抓包、拦截、修改、重放、规则检测与AI辅助分析的完整工作流。(A lightweight browser extension for traffic capture and security analysis, enabling…

Wireshark-like forensic analysis for Model Context Protocol communications Capture, inspect, and investigate all HTTP requests and responses between…

Security proxy for AI agents. Scans every message for prompt injection, PII, and secrets. Defense-in-depth: Go proxy + iptables firewall + eBPF…

Powerful protection for AI agents - Open-source security and cost tracking for AI applications

cMCP: Confidential MCP Gateway. Hardware-attested policy enforcement for MCP tool calls.

Capability-based WASM runtime for executing untrusted AI-generated code with enforced CPU, memory, time, I/O, and filesystem limits. Provides…

Prompt-injection guardrail for LLM applications. Compact model that outperforms larger open-source guards. No regex, no signatures. Demo:…

Keep private data, internal infrastructure and secrets out of cloud coding agents without breaking your workflow.

Real-time guardrails for Claude Code tool calls.

AI Smart Contract Security Analysis and PoC Generation Framework

Enforce least-privilege delegation for AI agents with signed, scoped credentials. Grant sub-agents narrow capabilities and resources, verify actions…

Just-in-time API keys for AI agents - and any other process you route through it: the caller only ever sees a placeholder.

Fix-Like Artifacts With Embedded Defects