Bluespec/BSV agent copilot via MCP. Pre-compile trap prediction, post-compile diagnosis, Bluesim simulation-failure knowledge, 4,569 bsc examples. Three intervention levels (silicon/wafer/tapeout). -47% coding time. Evolving toward a hardware dev runtime.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add specmate -- npx -y bsv-specmate~/.codex/config.toml
[mcp_servers.specmate]
command = "npx"
args = ["-y", "bsv-specmate"]
# codex mcp add specmate -- npx -y bsv-specmate~/.cursor/mcp.json
{
"mcpServers": {
"specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}.vscode/mcp.json
{
"servers": {
"specmate": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}