Explore
MCP servers and skills: search, filter by where they run, and compare.
slither-mcptrailofbits
LocalMCP server for Slither static analysis of Solidity smart contracts
PythonAGPL-3.0★ 98No key
medusaPantheon-Security
Local
MCP servers and skills: search, filter by where they run, and compare.
MCP server for Slither static analysis of Solidity smart contracts
PythonAGPL-3.0★ 98No key
AI-first security scanner. NEW in v2026.7: Claude Code compromise detection — vet .claude/ hooks, permissions & skills before you clone — plus an always-on AI attack-signature scanner and native Rust
PythonAGPL-3.0★ 1.0kNo key
Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP — data- and taint-flow with source→sink witnesses, points-to, and guard/sink structure for security reasoning ove
PythonAGPL-3.0★ 6No key
Open-source Software Intelligence Platform. Deterministic verification, structural PR reviews, interactive graph explorer, and proactive intelligence — powered by the Software Graph. 41 node types · 3
SkillAGPL-3.0★ 2Few starsNo key
See your codebase the way an agent sees it. Rust code-graph engine: index any repo, query descendants, blast radius, paths. CLI, HTTP API, and MCP server.
SkillAGPL-3.0★ 1Few starsNo key
Web-app QA, testing & analysis for AI agents — 74 Playwright tools: authenticated flows (2FA/SSO), 25-action E2E workflows, hard assertions, session reports, and accessibility / SEO / GEO / Core-Web-V
SkillAGPL-3.0★ 10No key
Who stands behind it
