搜索「verified」的结果

ai.thrain/blackout

本地永久 PDF 涂黑：文字被真正移除并验证已消失，而不是遮盖，无需上传。

io.github.ziyuant222/crystal-suppliers-mcp

Search verified crystal bracelets and source beads, accessories, and raw materials.

com.dialmcp/dialmcp

让 AI 代理用你已认证的号码拨打真实电话，并提供转写与录音。

io.github.holistis/3ilm-mcp

Search 1,032 verified smart contract vulnerability findings from Sherlock audits by pattern.

io.github.ilyautov/consilium-principis

AI advisory board (MCP): quotes verified word-for-word against public-domain texts, fail-closed

io.github.IlkhamFY/foragekit

Epistemic foraging for AI agents: source discovery, verified evidence, uncertainty-aware briefs

io.github.andypgray/roz-mcp

Roslyn-powered C# code navigation, blast-radius analysis, and verified edits for coding agents.

io.github.hartemyaakoub/ambulancedz-mcp

Find ambulance drivers across Algeria's 69 wilayas — nearest, verified, reviews, cost, dialysis.

io.github.RCOLKITT/vaspera-pm

Verify docs against code, detect drift, and generate verified specs (MCP server).

io.github.absolutejs/agents

Search verified agents and production agent-first AbsoluteJS packages.

io.github.Toby-Self/asymptotic-ethics

MCP server for an Asymptotic Ethics governance simulation with a verified compliance oracle.

io.github.Toby-Self/federated-ai-commons

MCP server for a federated AI-commons governance simulation with a verified compliance oracle.

ai.zimac/mnema

本地优先、经过形式化验证的 AI Agent 记忆：通过 MCP 提供 consult/learn/related/list 操作。

io.github.imkemit-ops/comparedge-llm-cost

Token cost math for LLM API calls: verified per-1M-token rates for 69 models, 17 providers.

io.github.ag3ntlab-ai/negbit

Buy negbit's curated, provenance-verified knowledge bundles with your own x402 wallet. Read-only.

io.github.bounded-systems/bounded-tools-mcp

对 bounded.tools 经 Sigstore 验证的静态 API 提供只读访问的 stdio MCP 服务器。

io.github.bounded-systems/site-mcp

针对 robertdelanghe.dev 上经 Sigstore 验证的静态 API 提供只读 MCP server（stdio）。

io.github.qinisolabs/floodwise

为 AI 代理提供按邮编查询的英格兰洪水风险——基于环境署（Environment Agency）的可核验数据，不靠猜测。

io.github.JayOfemi/shikamaru

可证明正确的天数、日历、工作日与排期计算，已对照 QuantLib 验证。

io.github.titov-d/agentdocs

为 AI 编码智能体提供新鲜、来源可核验的 MCP 服务器与 Claude 智能体开发文档。

io.github.systemblueio/deadcat-reaper

用自然语言操作 REAPER 会话，写操作会对照 REAPER 反馈进行校验。

io.github.FreeGuy-AI/closeread-verify

任何 AI 智能体都可通过 MCP 调用的、经过验证的依赖审计结论，而非原始扫描结果。

io.github.TweedBeetle/dependency-fitness-mcp

npm 依赖健康度：废弃/撤回/被取代包检测，并给出经验证的安全迁移目标。

io.github.archimedes-market/mcp-archimedes

从任意 AI 智能体发现经审核的深科技工程赏金。