Slither MCP Server
Trail of Bits'in Slither sarmalayıcısı; Solidity kod tabanını sorgulanabilir bir çağrı ve kalıtım grafiğine çeviriyor.
İstemcine ekle
Resmiuvx --from git+https://github.com/trailofbits/slither-mcp slither-mcp
{
"mcpServers": {
"slither-mcp": {
"command": "uvx",
"args": [
"--from",
"git+https://github.com/trailofbits/slither-mcp",
"slither-mcp"
]
}
}
}- Transport
- stdio
- Çalışma ortamı
- Python
- Kimlik doğrulama
- Gerekmiyor
- Lisans
- AGPL-3.0
- Yıldız
- 96
Akıllı sözleşmeyi dosyaları açarak okumak en kritik soruyu kaçırıyor: ayrıcalıklı bir fonksiyona kimler ulaşabiliyor. Slither bu grafiği zaten kuruyor; onu geliştiren ekibin yazdığı bu sunucu grafiği araç olarak açıyor. Sözleşmeler somut, soyut, arayüz ya da kütüphane olarak süzülüp listeleniyor; bir fonksiyonun çağıranları ve çağırdıkları düşük seviyeli çağrılar dahil geziliyor; kalıtım ağacı iki yönde de tırmanılıyor. Dedektör çıktısı süzgeçli geldiği için ajan bütün raporu değil yalnız yüksek güvenli bulguları çekebiliyor. Çözümleme sonucu projenin içinde artifacts/project_facts.json dosyasına önbelleklendiğinden, Foundry ya da Hardhat ağacında süren uzun bir inceleme boyunca tekrar eden sorgular ucuz kalıyor.
Benzer MCP sunucuları
Apollo MCP Server
MCP sunucusuSeçilen GraphQL operasyonlarını tek tek MCP aracına çeviren Apollo sunucusu.
ESLint MCP Server
MCP sunucusuProjenin kendi ESLint yapılandırmasını çalıştırıyor; ajan gerçek kural kümesine göre denetleyip düzeltiyor.
Foundry MCP Server
MCP sunucusuFoundry zincirini — Anvil, Cast ve Forge — sürüyor; ajan zinciri çatallayıp kurcalayabiliyor ve dağıtım yapabiliyor.

Yorumlar(0)
Yorum yapmak için giriş yap