yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
blackwell-systems/agent-lspConnectors
MCP server that orchestrates language servers into agent-native workflows. 65 tools, 30 CI-verified languages.
124
reticlehq/reticleConnectors
AI agents can generate code, but they still struggle to understand what they build. Reticle gives them runtime perception of web & desktop applications.
458
aimasteracc/
tree-sitter-analyzer
aimasteracc/tree-sitter-analyzerConnectors
Cross-language-safe code-intelligence MCP for AI agents -- 13 languages, family-gated call graph (CodeGraph 745 vs TSA 6 cross-language mis-wires, v1.21.0 same-session -- ~124x by count, ~390x by rate; re-verifying vs current develop). Run miswire-audit on your repo. 8 facade tools, TOON output, 100% local. Python.
49
vmihalis/hacker-bobConnectors
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
97