AI Systems & Skills Security Vetted

AI Code Verification

Top open-source AI Code Verification AI systems, agents, and MCP tools.

1-Click CLI Quickstartv0.1.10
$aistorehub pull @community/claw-orchestrator

Discover and install verified AI Code Verification AI systems, autonomous agent skills, and Model Context Protocol servers on AIStoreHub. Reusable, security-scanned, and ready for 1-click execution in Cursor, Claude Code, and terminal workflows.

24Systems Indexed
16747Community Stars & Forks
24Verified Creators

Available AI Systems & Skills (24)

Open in Advanced Filter
agentCommunity Indexed
SourceΒ·Free

Run Claude Code, Codex, Antigravity, Grok Build and OpenCode behind one runtime, and a run only counts as done when checks it didn't write pass. Cross-engine fan-out, councils, session handoff, spend caps, MCP server, ACP agent.

agentCommunity Indexed
SourceΒ·Free

πŸ“š Two books on harness engineering β€” the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness-books.agentway.dev

agentCommunity Indexed
SourceΒ·Free

From ticket to reviewed pull request. Free and open-source, on your machine.

agentCommunity Indexed
SourceΒ·Free

AI-powered GA4 + GTM event tracking β€” automates site analysis, event schema, GTM sync, preview verification, and publishing. Works with Cursor, Codex, and any AI agent.

agentCommunity Indexed
SourceΒ·Free

AI product management skills and plugin for Claude Code, Cowork, Codex & other AI agents: evidence-tagged PRDs, specs, requirements, RICE prioritization, backlog and roadmap scoring, product strategy, GTM launch plans, release verification, benchmark packs, UX/UI design prompts for web + mobile apps. Every claim sourced or labelled unsourced.

agentCommunity Indexed
SourceΒ·Free

Subagent Verification for Claude AI Code Networks 2026

MCP ServerCommunity Indexed
MCPΒ·Free

Claim-Driven Development: turn software intent into verifiable evidence.

agentCommunity Indexed
SourceΒ·Free

Agent skill that conducts an interactive architectural walkthrough and verification quiz over a codebase.

agentCommunity Indexed
SourceΒ·Free

Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.

agentCommunity Indexed
SourceΒ·Free

Deepdive skill for Claude Code β€” 12-phase research pipeline: plan-review gate, parallel sub-agent search, claims-ledger triangulation with dissent protection, relevance Γ— authority evidence filter, multi-angle red team, four-layer citation verification. 105 blocks, 29 channels, 460+ stat sources, 47 APIs, 1072 verified endpoints.

agentCommunity Indexed
SourceΒ·Free

Multi-model orchestration layer for Claude Code β€” the frontier model plans, cheaper models execute, verification guards quality. One-prompt install.

agentCommunity Indexed
SourceΒ·Free

Agent workflow for deadline-bound execution with evidence gates

agentCommunity Indexed
SourceΒ·Free

IronBee CLI - Verification and Intelligence Layer for Agentic Development

agentCommunity Indexed
SourceΒ·Free

Agent Skill for complex work: research before asking, ask before planning, plan before building, verify before delivering, independent review before calling it done. Plain text, no runtime.

agentCommunity Indexed
SourceΒ·Free

Independent security verification for code written by humans and AI agents. Scan, repair, then prove it β€” Dvalin runs your project's own checks and issues a Verified Fix Record anyone can re-derive offline. Local-first, policy-bound, MIT.

agentCommunity Indexed
SourceΒ·Free

Governed execution layer for AI coding assistants: clarify intent, route capabilities, review evidence, verify results, and write back lessons across Claude Code, Codex, OpenClaw, and Cursor.

agentCommunity Indexed
SourceΒ·Free

Local Figma MCP server with no REST rate limits, no metered tool-call quotas, and a verification loop. Drop-in alternative to Figma's Dev Mode MCP and Framelink for Claude Code, Cursor, Windsurf β€” works on every plan including Free.

agentCommunity Indexed
SourceΒ·Free

Sellbird (formerly Harvey): the open-source outreach platform that runs on your Claude or ChatGPT plan. Finds companies and decision makers, verifies emails, writes personal cold email, sends it and handles the replies.

agentCommunity Indexed
SourceΒ·Free

Self-evolving second brain with 35 AI skills, 10 agents, and people CRM. Closed-loop harness: a V-model verification lifecycle where the worker never grades its own homework. Plus paired anti-slop design skills for marketing and product UI. Works with Claude Code, Cursor, Kiro, Gemini CLI, Codex.

agentCommunity Indexed
SourceΒ·Free

SEO AGI -- The first AI agent that writes pages Google ranks AND LLMs cite. One command in, ranking page out. Built on DeerFlow, powered by 2026 SEO + GEO strategies tested / working. Forensic competitive analysis, 500-token chunk architecture, entity consensus, verification tags. BYOK for GSC, Ahrefs, SEMRush. Works w/ OpenClaw, Claude Code, Codex

agentCommunity Indexed
SourceΒ·Free

J-Space Cognition Suite β€” a model-agnostic inference-time control suite for deep reasoning, long-horizon work, verification, and recovery. Based on Anthropic's J-space global workspace research. | ε“”ε“©ε“”ε“©οΌšTiger380 β€” https://space.bilibili.com/3494375382321675

agentCommunity Indexed
SourceΒ·Free

A CLAUDE.md built on Karpathy's principles and gstack, adding a verification harness and autonomous-loop rules for Claude Code.

agentCommunity Indexed
SourceΒ·Free

Evidence-grounded AI research workflow for traceable claims, explicit uncertainty, causal-language checks, and reviewable JSON, Markdown, and Excel exports.

agentCommunity Indexed
SourceΒ·Free

On Page Agent -- The first AI agent that writes pages Google ranks AND LLMs cite. One command in, ranking page out. Built on DeerFlow, powered by 2026 SEO + GEO strategies tested / working. Forensic competitive analysis, 500-token chunk architecture, entity consensus, verification tags. BYOK GSC, DataforSEO. Works w/ OpenClaw, Claude Code, Codex

Build & Monetize for AI Code Verification

Have you created an autonomous agent, MCP server, or Claude Code skill for AI Code Verification? Publish it to AIStoreHub with dual-currency checkout (USD $ + INR β‚Ή) and earn 85–90% net revenue.