saydo
Level CLocalConformance harness for MCP servers. A publisher declares what a tool does; SayDo runs it in a sandbox and checks. Signed, verifiable receipts.
Installation
MCP client config (paste into mcp.json)
{
"mcpServers": {
"saydo": {
"command": "npx",
"args": [
"saydo"
]
}
}
}Agent install prompt
Copy and paste into Cursor / Claude / other agents to install this MCP for you
Please read this MCP repository and install it into my current environment:
https://github.com/vince-gonzalez/saydo
Known working client config (can write into mcp.json):
{
"mcpServers": {
"saydo": {
"command": "npx",
"args": [
"saydo"
]
}
}
}
Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.
Related servers
gonzalgoReports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compicvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCNetdataReal-time infrastructure monitoring with metrics, logs, alerts, and ML-based anoToolJetOpen-source foundation of ToolJet AI - the enterprise app generation platform fosignozSigNoz is an open-source, OpenTelemetry-native observability platform for your tkuboard-pressKuboard v4 官方文档(zh/en 双语):Kuboard 是基于 Kubernetes 的微服务管理界面。本仓库为 v4 版本文档站源码,涵盖安装升级