mcp-formal
Enables AI coding agents and IDEs to prove SystemVerilog assertions with SymbiYosys (smtbmc+z3) and lint SVA syntax, returning honest verdicts such as PROVEN, FAILED, UNKNOWN, ERROR, or TIMEOUT.
Code Analysis
npm 0 platforms
0 features
Install
npx -y @zesun33/mcp-formal
Paste the configuration above into your MCP client config (claude_desktop_config.json for Claude Desktop) and restart the client.
{
"mcpServers": {
"mcp-formal": {
"command": "npx",
"args": [
"-y",
"@zesun33/mcp-formal"
],
"env": {
"MCP_FORMAL_RUNTIME": "<MCP_FORMAL_RUNTIME>"
}
}
}
}Paste the configuration above into your MCP client config (claude_desktop_config.json for Claude Desktop) and restart the client.
Sources: public MCP Server directories. This is an independent third-party directory with no affiliation to or endorsement from the maintainers of the listed servers.
