Skip to main content
Glama
93,551 servers. Updated

"author:Alele496" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • bsv-specmate

    Alele496
    A
    license
    Not graded
    quality
    A
    maintenance
    MCP server that equips AI agents with BSV-specific development tools including static analysis, pitfall prediction, and BSC error diagnosis to produce correct Bluespec code with fewer compile failures.
    42 npm
    3
    MIT