Is Alele496/bsv-specmate down?

glama/alele496/bsv-specmate

Also listed as mcp-registry/io.github.alele496/bsv-specmate · primary listing: mcp-registry/io.github.alele496/bsv-specmate

As of —, Alele496/bsv-specmate is unknown.

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.

No advertised endpoint or package; see https://github.com/Alele496/bsv-specmate for how to run it.

Tools (8)

• specmate_analyze
• specmate_capture
• specmate_check
• specmate_diagnose
• specmate_diff
• specmate_guide
• specmate_resolve
• specmate_scan

Compare: most reliable code servers · most reliable knowledge servers

claude mcp add --transport http glimind https://glimind.com/mcp

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is Alele496/bsv-specmate down right now?

As of —, Alele496/bsv-specmate is unknown.

How many tools does Alele496/bsv-specmate provide?

Alele496/bsv-specmate advertises 8 tools, including specmate_analyze, specmate_capture, specmate_check, specmate_diagnose, specmate_diff.

How do I install Alele496/bsv-specmate?

No advertised endpoint or package; see https://github.com/Alele496/bsv-specmate for how to run it.

Operator of Alele496/bsv-specmate?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.