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. ★ not rated 0 3mo ago A tokens not measured original MIT