INVARA
本地Independent verification that a change kept its declared constraints. No model in the verdict path.
安装配置
{
"mcpServers": {
"invara": {
"command": "npx",
"args": [
"invara"
]
}
}
}
Independent verification that a change kept its declared constraints. No model in the verdict path.
{
"mcpServers": {
"invara": {
"command": "npx",
"args": [
"invara"
]
}
}
}