veriloop + Stack 01 arvindcr4/veriloop MCP server Claude CodeCodexCursor +2 MCP server "veriloop" as configured in arvindcr4/veriloop. Runs locally from the veriloop Python package. 0 1mo ago A tokens not measured original MIT