SmartBear's official MCP Server

MCP server with local vector search for your codebase. Smart indexing, semantic search, Git history — all offline.

Chiasmus is an MCP server that gives language models access to formal verification

A local MCP runtime that attacks what you own and only reports what it proved. 17 CVEs across 9 projects came out of this repo. Install: npx -y hacker-bob@latest install /path/to/project, then run /bob-evaluate target.com