A growing collection of MCP servers bringing offensive security tools to AI assistants. Nmap, Ghidra, Nuclei, SQLMap, Hashcat and more.
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

VSCode Extension with an MCP server that exposes semantic tools like Find Usages and Rename to LLMs
A suite of MCP tools for AIs to analyze and modify C# solutions with high signal, Roslyn powered context.
Chiasmus is an MCP server that gives language models access to formal verification
Rust MCP server for comprehensive code intelligence - 90 tools, 32 languages, security scanning, call graphs, and more
Roslyn-based MCP server giving AI agents deep semantic understanding of .NET/C# codebases — 67 tools for navigation, call graphs, diagnostics & code fixes, safe refactoring, code-quality auditing, test intelligence, DI graphs, and IL/external-assembly inspection.
Wavelet-based multi-resolution context management for LLMs via MCP