Tag

#verification

MCP servers, skills and plugins tagged “verification” on GitHub.

15 entries · real GitHub data

Your ad here: $99/week

Reach developers installing agent tools today. Self-serve, live in minutes.

Book

#1Reverify
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets.…
MCP server Security Memory & knowledge
#2Nautilus Compass
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered criteria) — by Nautilus Platform
MCP server Memory & knowledge AI & LLM tooling
#3Watch Skill
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic…
Agent skill Media & audio AI & LLM tooling
#4Claude Skills Journalism
Claude Code skills for journalism, media, and academia - verification, FOIA, data journalism, academic writing, and more
Agent skill Data & analytics Security
#5No Human
From ticket to reviewed pull request. Free and open-source, on your machine.
MCP server AI & LLM tooling Dev tools
#6Skills
Agent skills to find and fix software bugs
Agent skill Dev tools AI & LLM tooling
#7Resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
MCP server Memory & knowledge AI & LLM tooling
#8RobloxForge Intelligence
RobloxForge Docs 2026: Official MCP Vertical Slice Verification Layer for Studio
MCP server AI & LLM tooling Search & web
#9Jev Judge MCP
Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate, and score: the model judges, policy…
MCP server AI & LLM tooling Memory & knowledge
#10Ballast
Builds up to a goal in a field you have no expertise in: splits it into the foundations that goal actually needs, mobilizes what you already hold, learns what is missing, and…
Plugin Memory & knowledge
#11Agent Inbox
Give any AI agent a disposable email inbox in one tool call. MCP server for email verification, auth flows, and testing.
MCP server AI & LLM tooling Dev tools
1-clickCursor VS Code
#12Fable Ish
Fable-style verification gate for Claude Code: don't say done until it's verified. Port of the Codex plugin by Agent Korea (플라잉따릉이).
Plugin AI & LLM tooling
#13Anatomia
Spec-driven agent harness for Claude Code and Codex — five-agent pipeline (scope, plan, build, verify, learn) with an auditable proof chain.
Plugin AI & LLM tooling Memory & knowledge
#14Gen Tb Skill
Claude Code / Codex CLI skill that scaffolds a runnable UVM testbench (APB / AHB-Lite / AXI4-Lite + generic-bus fallback) from an IP spec and register table, with a…
Agent skill AI & LLM tooling Design & frontend
#15Curated Claude Code
A small, vetted, self-evolving harness for Claude Code — curated, not dumped. Skills, safety guards, and a self-improvement loop.
Agent skill AI & LLM tooling