Server data from the Official MCP Registry
BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
About
BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
Security Report
specmate is a well-structured MCP server for BSV (Bluespec SystemVerilog) development assistance. The codebase demonstrates good security practices with no malicious patterns, proper dependency management, and appropriate permission scoping. Minor findings include unverified trap knowledge entries and limited input validation in some tools, but these do not pose significant security risks for the server's intended purpose. Supply chain analysis found 2 known vulnerabilities in dependencies (0 critical, 2 high severity). Package verification found 1 issue.
3 files analyzed · 8 issues found
Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.
Permissions Required
This plugin requests these system permissions. Most are normal for its category.
How to Install
Add this to your MCP configuration file:
{
"mcpServers": {
"io-github-alele496-bsv-specmate": {
"args": [
"-y",
"bsv-specmate"
],
"command": "npx"
}
}
}Reviews
No reviews yet
Be the first to review this server!
More Developer Tools MCP Servers
Fetch
Freeby Modelcontextprotocol · Developer Tools
Web content fetching and conversion for efficient LLM usage
Toleno
Freeby Toleno · Developer Tools
Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.
mcp-creator-python
Freeby mcp-marketplace · Developer Tools
Create, build, and publish Python MCP servers to PyPI — conversationally.
MarkItDown
Freeby Microsoft · Content & Media
Convert files (PDF, Word, Excel, images, audio) to Markdown for LLM consumption
MCP Marketplace
Freeby mcp-marketplace · Developer Tools
Search and install MCP servers from inside your AI client.
FinAgent
Freeby mcp-marketplace · Finance
Free stock data and market news for any MCP-compatible AI assistant.