Lists (2)
Stars
A neurosymbolic framework for vulnerability detection in code
An open-source AI agent that brings the power of Gemini directly into your terminal.
Python + FastAPI + Playwright + Camoufox 中间层代理服务器，兼容 OpenAI API且支持参数设置、toolcall和注入测试模型等，通过将请求转发到 Google AI Studio 网页版对话，并同样按照OpenAI标准格式返回输出的工具。课余时间有限，随缘更新
PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
cve-search - a tool to perform local searches for known vulnerabilities
Fully open-source command-li EDA4 ne AI assistant inspired by OpenAI Codex, supporting local language models.
An application that can dock any window to the edge of the screen.
Lightweight coding agent that runs in your terminal
Nacos漏洞综合利用GUI工具，集成了默认口令漏洞、SQL注入漏洞、身份认证绕过漏洞、反序列化漏洞的检测及其利用
This project runs a Model Context Protocol (MCP) server that wraps the CodeQL query server. It enables tools like [Cursor](https://cursor.sh/) or AI agents to interact with CodeQL through structure…
An open protocol enabling communication and interoperability between opaque agentic applications.
Command line tool to fetch, decode, brute-force and craft session cookies of a Flask application by guessing secret keys.
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
MCP-SecurityTools 是一个专注于收录和更新网络安全领域 MCP 的开源项目，旨在汇总、整理和优化各类与 MCP 相关的安全工具、技术及实战经验。
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST),…
解决Cursor在免费订阅期间出现以下提示的问题: Your request has been blocked as our system has detected suspicious activity / You've reached your trial request limit. / Too many free trial accounts used on this machine.
Production-ready platform for agentic workflow development.
Tai-e assignments for static program analysis
An easy-to-learn/use static analysis framework for Java
Python tool for converting files and office documents to Markdown.