搜索「verified」的结果

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.agustincf/arcade1v1

Play 1v1 arcade games vs AI agents & humans, ranked by ELO. Replay-verified, on-chain escrow (Base).

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.

io.github.HMAKT99/akf

Trust metadata for AI agents — check files before building on them, stamp verified work.

ai.zimac/mnema

Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.

io.github.VIKAS9793/androjack

Android engineering MCP server with verified documentation grounding and AI validation tools.

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.LEOyrh/mcp-atlas

Query 155 verified US county parcel ArcGIS REST endpoints for owner/APN lookup. No API key needed.

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

Read-only MCP server over bounded.tools's Sigstore-verified static API (stdio).

io.github.bounded-systems/site-mcp

Read-only MCP server over robertdelanghe.dev's Sigstore-verified static API (stdio).

io.github.qinisolabs/floodwise

England flood-risk by postcode for AI agents — verified Environment Agency data, not guesses.

io.github.JayOfemi/shikamaru

Provably correct day-count, calendar, business-day, and schedule math, verified against QuantLib.

io.github.titov-d/agentdocs

Fresh, source-verified docs for building MCP servers and Claude agents, for AI coding agents.

io.github.systemblueio/deadcat-reaper

Operate a REAPER session in plain language, with writes verified against REAPER feedback.

io.github.FreeGuy-AI/closeread-verify

A verified dependency-audit verdict any AI agent can call over MCP, not a raw scan.

io.github.TweedBeetle/dependency-fitness-mcp

npm dependency fitness: deprecated/yanked/superseded + verified safe migration target.