Best Ash AI Skills & MCP Servers

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

MCP server for the OpenRouter management API — credits, inference-key CRUD with daily/weekly/monthly reset & expiration, activity drill-down (by_model/day/provider/key), one-shot dashboard.

AI-powered idea & task manager for developers. Brainstorm → structured tasks → AI agent execution. CodeMirror editor with slash commands, MCP Server, Claude/Gemini/Codex support. Local-first SQLite, cross-PC Git sync.

Hashlock Markets — atomic settlement layer for the agent economy. Sealed-bid RFQ + HTLC atomic settlement, fused into one operation. Live on Ethereum and Sui mainnets; Bitcoin HTLC mainnet-ready via P2WSH scripts (no contract to deploy; signet-validated);

Extension manager for AI coding agents — install skills, subagents, slash commands, and MCP servers across Claude Code, Codex, Cursor, Copilot, and more.

MCP server for Metabase — 96 tools covering dashboards, cards, databases, tables, collections, public sharing, schema cache, and SQL-to-MBQL conversion

29 developer utilities as an MCP server — JSON repair, SQL format, hash, encode/decode, UUID, regex, CSV, subnet calc, diagram generation, git diff parsing, DB schema parsing, JSON schema validation, and more. No API keys. Runs locally.

Build MCP servers, CLI tools, and web dashboards for AI agents from a single TypeScript file.

Decode VINs, search recalls, complaints, crash ratings, and investigations via MCP. STDIO or Streamable HTTP.

MCP server + live dashboard for AI code governance — OWASP LLM Top 10 (10/10), real-time MCP App UI, 25+ security patterns, Bayesian learning Brain, hallucinated import detection, multi-agent governance. Works with Claude, Cursor, VS Code, ChatGPT, Goose,

Currents MCP server

AI-powered FastMCP server for intelligent stock photo search, download, and attribution management from Unsplash

MCP server for full Home Assistant control — dashboards, files, automations, add-ons, and more

Model Context Protocol server for Anki - enables AI assistants to interact with your Anki flashcards

BMAD-METHOD MCP server for local network — project-aware AI development skills with web dashboard

Hash-verified file editing MCP + token efficiency hook for AI coding agents. 9 tools: inspect_path, read, edit, write, grep, outline, verify, changes, bulk_replace.

MCP server that installs an AI governance harness with hypertext dashboard, agent instructions, Project World Model, and safe workspace reconcile

HITL infrastructure for AI agents. Your agent calls awaitHuman(), a human reviews via Slack/email/dashboard, agent resumes with a typed response.

MCP server exposing the Voidly Pay marketplace — list any paid HTTP endpoint, browse all of them, pay any with one wallet. v0.5.0 adds 6 generic agent utilities: voidly_hash (SHA-256/512), voidly_timestamp (proof-of-existence), voidly_random (signed CSPRN

Datadog MCP server for monitoring, metrics, logs, and dashboards

REPL-sharing MCP server — AI and humans co-drive the same visible terminal. 19 embedded adapters: shells (bash, pwsh, zsh, cmd), language REPLs (Python, Node, Deno, Lua, Racket, CCL/ABCL/SBCL Common Lisp, F# Interactive, jshell, Groovy, SQLite3), and debu

MCP server with 45 developer utilities (16 free + 29 pro). Free: UUID, hash, HMAC, base64, timestamps, JWT decode, random strings, URL encode/decode, JSON format, YAML/JSON convert, regex test, cron explain, color convert, HTTP status, slugify, HTML escap

SideButton MCP server for AI agents — REST API, web dashboard, knowledge packs, and workflow engine

Social MCP server — DMs, presence, and discovery for AI-assisted developers. Works with Claude Code, Cursor, VS Code, Windsurf, and any MCP client.