specmate
本地BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
安装配置
{
"mcpServers": {
"bsv-specmate": {
"command": "npx",
"args": [
"bsv-specmate"
]
}
}
}
BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
{
"mcpServers": {
"bsv-specmate": {
"command": "npx",
"args": [
"bsv-specmate"
]
}
}
}