{
 "title": "io.github.mrfentmen/b-formal-method-mcp",
 "site": "台灣 AI 代理人任務中樞",
 "canonical": "https://penguindriver.com/s/io.github.mrfentmen%2Fb-formal-method-mcp",
 "markdown": "https://penguindriver.com/s/io.github.mrfentmen%2Fb-formal-method-mcp.md",
 "summary": "B (Formal Method) MCP: real tools for real work.",
 "date_modified": null,
 "retrieved": "2026-11-08",
 "content_sha256": "7b469ad22d05caf4b981e8e9a88e6647b7d3d30a54741329f14c862e0de5a956",
 "fingerprint_basis": "Markdown 版全文，移除贊助行與開頭 front matter，去除頭尾空白",
 "verify": {
  "text_snapshot": "https://penguindriver.com/cite?path=%2Fs%2Fio.github.mrfentmen%252Fb-formal-method-mcp&format=text",
  "how": "下載 text_snapshot 後計算 SHA-256，應與 content_sha256 相同；內容更新時指紋會改變"
 },
 "sources": [
  {
   "name": "https://github.com/mrfentmen/awesome-servers",
   "url": "https://github.com/mrfentmen/awesome-servers"
  }
 ],
 "source_count": 1,
 "cite_as": {
  "zh": "io.github.mrfentmen/b-formal-method-mcp｜台灣 AI 代理人任務中樞。https://penguindriver.com/s/io.github.mrfentmen%2Fb-formal-method-mcp（資料日期 未標示，擷取 2026-11-08）",
  "apa": "台灣 AI 代理人任務中樞. (2026). io.github.mrfentmen/b-formal-method-mcp. Retrieved 2026-11-08, from https://penguindriver.com/s/io.github.mrfentmen%2Fb-formal-method-mcp",
  "markdown": "[io.github.mrfentmen/b-formal-method-mcp](https://penguindriver.com/s/io.github.mrfentmen%2Fb-formal-method-mcp)（台灣 AI 代理人任務中樞，2026-11-08）"
 },
 "license": "可引用，請附上正式網址與資料日期"
}