Kestrova: Solidity Vulnerability Scan
Solidity smart contract vulnerability scan (Slither) for AI agents. Free preview; paid full report.
사용해야 할까요
품질 및 안전성
도구 정의와 프로토콜 준수에 대한 자동 분석을 기반으로 합니다.
컨텍스트 비용
이는 서버의 도구가 모델의 컨텍스트에 로드될 때마다 소비되는 대략적인 토큰 수입니다. 수치가 높을수록 다른 작업에 사용할 수 있는 주의가 줄어듭니다.
설치
원클릭 설치
`claude_desktop_config.json` 파일에 다음을 추가하세요:
{
"mcpServers": {
"kestrova": {
"url": "https://kestrova.onrender.com/mcp?src=registry"
}
}
}원격 엔드포인트
https://kestrova.onrender.com/mcp?src=registrystreamable-http할 수 있는 일
도구 목록
도구 (3)
🟢scan_solidity_preview(sources)
FREE Solidity security check (Slither). Detects known vulnerability patterns (reentrancy, unchecked calls, tx.origin auth, arbitrary ETH sends and more) and returns severity counts plus High/Medium detector names. Use after writing or changing a contract and before deployment. Input: {"sources": {"File.sol": "<source>"}} (include imported files). Max 60 kB; rate-limited per client. Zero findings does not mean safe.
입력 스키마
{
"type": "object",
"properties": {
"sources": {
"additionalProperties": {
"type": "string"
},
"title": "Sources",
"type": "object"
}
},
"required": [
"sources"
],
"title": "scan_solidity_previewArguments"
}🟢scan_solidity_full(sources)
OPTIONAL, PAID ($1.00 USDC on Solana via x402). Structured Slither findings for Solidity: detector, impact, confidence, description and file/line locations, for fixing each issue. Without a valid x402 payment in _meta['x402/payment'] it returns the payment terms and does NOT scan or charge. Charged only after a successful scan. Pay only with your user's explicit authorisation and within their spending limits.
입력 스키마
{
"type": "object",
"properties": {
"sources": {
"additionalProperties": {
"type": "string"
},
"title": "Sources",
"type": "object"
}
},
"required": [
"sources"
],
"title": "scan_solidity_fullArguments"
}🟢payment_terms
FREE. Price, recipient, network, asset and how to pay for scan_solidity_full.
입력 스키마
{
"type": "object",
"properties": {},
"title": "payment_termsArguments"
}커뮤니티
증거