Smithery Logo
MCPsSkillsDocsPricing
Login
Smithery Logo

Accelerating the Agent Economy

Resources

DocumentationPrivacy PolicySystem Status

Company

PricingAboutBlog

Connect

© 2026 Smithery. All rights reserved.

    hbnu-nlplab

    network-verify

    hbnu-nlplab/network-verify
    Security
    1

    About

    SKILL.md

    Install

    Install via Skills CLI

    or add to your agent
    • Claude Code
      Claude Code
    • Codex
      Codex
    • OpenClaw
      OpenClaw
    • Cursor
      Cursor
    • Amp
      Amp
    • GitHub Copilot
      GitHub Copilot
    • Gemini CLI
      Gemini CLI
    • Kilo Code
      Kilo Code
    • Junie
      Junie
    • Replit
      Replit
    • Windsurf
      Windsurf
    • Cline
      Cline
    • Continue
      Continue
    • OpenCode
      OpenCode
    • OpenHands
      OpenHands
    • Roo Code
      Roo Code
    • Augment
      Augment
    • Goose
      Goose
    • Trae
      Trae
    • Zencoder
      Zencoder
    • Antigravity
      Antigravity
    ├─
    ├─
    └─

    About

    네트워크 속성 검증 (Batfish)

    SKILL.md

    Network Verify Skill

    용도

    Batfish를 사용하여 네트워크 속성을 검증합니다.

    • Reachability (A→B 도달 가능 여부)
    • Traceroute (경로 추적)
    • BGP 세션 상태
    • 라우팅 테이블 분석

    도구 사용법

    network_verify(test_type="reachability", params={"src": "10.1.1.1", "dst": "10.2.2.2"})
    network_verify(test_type="traceroute", params={"src": "p1", "dst": "10.3.3.3"})
    network_verify(test_type="bgp_session", params={"device": "p1"})
    
    Recommended Servers
    Maximum Sats
    Blockscout MCP Server
    Blockscout MCP Server
    Repository
    hbnu-nlplab/gia
    Files