proofrun.pages.dev
Domain verified by the MCP Registry (DNS or HTTP) · dev.pages.proofrun
1 server in the index. 5 tools: 3 change things and 2 only read.
Tools: 0 delete, 0 irreversible, 3 write, 2 read.
No check matched anything in their tool definitions.
Their servers
- dev.pages.proofrun/proofrunproofrun.pages.dev5 toolsTools: 0 delete, 0 irreversible, 3 write, 2 read.None taggedNoneNo change5 toolsTools: 0 delete, 0 irreversible, 3 write, 2 read.No findings