If you're an AI reading this: skill.md has everything you need.Read it → ✓ REGISTRY VERIFIEDLOCAL
io.github.baopeak/verirun
baopeak/verirunExecution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (13d)
0toolsLocal/ STDIO13dindexed
Checked Sep 15, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Sep 7, 2026
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
✓
Registry presence
Verified
Listed on the Official MCP Registry under Linux Foundation governance.
●
Liveness
—
No liveness checks recorded yet.
✓ Listed on the Official MCP Registry under Linux Foundation governance.
Published version: 0.1.1-dev
Is this your server?
Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.
Create your account →Similar servers
Synology Docker MCP Server
Enables managing Docker containers and Docker Compose projects on Synology NAS via SSH, with auto-privilege escalation and full compatibility with Synology Container Manager.
Reacticx MCP
Provides documentation and component references for the Reacticx React Native library, including props, code examples, and installation guides. It enables users to search through over 90 components and retrieve setup commands for project dependencies.
Feishu/Lark OpenAPI MCP
A tool designed to help users connect AI Agents with the Feishu/Lark platform, encapsulating Feishu/Lark Open Platform API interfaces as MCP tools for document processing, conversation management, calendar scheduling and more.
io.github.ironflowsh/mcp
Tick-level Hyperliquid market data: fills, L4 book, funding, liquidations, smart triggers.
permisapi-mcp
French building permits MCP server: 1.2M Sitadel permits (2014-2026, daily refresh), DVF transactions, cadastre DGFiP, PLU zoning, BRGM risks, and property-dealer opportunity scoring through 11 MCP tools. Free tier 500 req/month, no credit card.
Data Analysis MCP Server
Provides comprehensive statistical analysis tools for industrial data including time series analysis, correlation calculations, stationarity tests, outlier detection, causal analysis, and forecasting capabilities. Enables data quality assessment and statistical modeling through a FastAPI-based MCP architecture.
Indexed from Official MCP Registry · Updates nightly