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
Local runs on your computer · Local + Cloud also runs on Conduit’s servers · Hosted is run by its author, you connect by URL
PythonAGPL-3.0★ 1.0kNo key
Auditable code intelligence for AI agents - map dependencies, predict change impact, select the right tests, and verify refactors before they ship.
Hosted by authorAGPL-3.0★ 31No 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
in the readmesemantic representation that agents, MCP servers, SDK generators, documentation tools, architecture tools, static analysis, and IDEs can query without repeatedly searching files or rebuilding partial AST
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
in the readmewebsites, run static checks, and interactively test web applications using persistent browser sessions. Results (JSON + screenshots + videos) are returned to the agent for analysis. ## Project Structure
SkillAGPL-3.0★ 10No key
Who stands behind it
Who stands behind it
