MCP servers and skills: search, filter by where they run, and compare.
Staking-free proof-of-work Cosmos SDK chain with post-quantum (ML-DSA) signatures, built AI-agent-first
Hosted by authorMITFew starsNo key
Spirit Cards MCP server (stdio, read-only) — collection, token stats, points and pool data for AI agents. 9 tools + 2 prompts.
Hosted by authorMITFew starsNo key
Animica — post-quantum (ML-DSA-65) proof-of-work Layer-1 blockchain by Alexander Lehman: Python smart contracts, ANM-native L2 rollup, mining pool, free OpenAI-compatible AI API, x402 pay-per-call age
SkillApache-2.0★ 4Few starsNo key
MCP server for pex.bot — AI simulated crypto trading with real-time Upbit prices. 11 tools, 5 resources, 5 prompts.
Node.jsMIT★ 1Few starsNo key
Semantic risk & verification MCP for Web3 agents: one read-only endpoint for on-chain settlement checks, fee oracles and node truth. BTC/ETH/XMR/ZEC live, SOL/Base/Tron provisioning.
Hosted by authorMITFew starsNo key
Parallax MCP gives AI assistants and agents structured, read-only access to the Parallax network
DockerGPL-3.0Few starsNo key
AI agent identity, signed credentials, delegated authority and portable governance evidence. Python core and offline verifier SDKs.
PythonApache-2.0★ 874No key
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code an
SkillMIT★ 255No key
Evidence-gated Agent Skill for reconstructing 2D photonics schematics as physically auditable Blender optical tables with CAD, beam-path, mechanics, and render proof.
SkillMIT★ 137No key
Public registry for local-first wellness MCP connectors: wearables, recovery, training, nutrition and the Delx Wellness Hermes profile.
SkillMIT★ 28No key
Lightweight, agent-friendly AI security toolkit for Node.js & TypeScript. Check if your agent has loaded the skill, Stop prompt injection, audio hallucinations, and RAG data scraping. Zero dependencie
Node.jsMIT★ 13No key
Production-grade Agent Skills for data engineering AI agents: 73 workflows, platform presets, safe backfill/replay, Kafka & Spark reliability, MCP observability, and VS Code/JetBrains installers.
SkillMIT★ 57No key
AI-native scientific research pipeline. Takes a research goal and autonomously runs multi-step academic research on Cursor, Codex CLI, Cline, Continue, Gemini CLI, Copilot, Windsurf, Claude Code, and
SkillApache-2.0★ 10No key
A lab protocol for coding agents. Freeze baselines, run hypotheses in isolated worktrees, reject failures and validate improvements from Claude Code, Cursor or a direct API key (Gemini/Anthropic/openA
PythonApache-2.0★ 9No key
A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proofs. Integrates Codex MCP for adversarial cross-review. Venue-
SkillMIT★ 9No key
ZAP1 attestation and proof-verification MCP for Zcash agents. Attestation layer, not a wallet.
Node.jsMIT★ 1Few starsNo key
Portable AI-engineering skills for Claude Code, Codex, and coding agents: bounded scope, mini-specs, vertical slices, verification, ship gates, and handoff.
SkillMIT★ 5No key
MCP server for agent-to-agent payments on XRPL — trust scoring, crypto-condition escrow, AI audit with criteria_met/criteria_failed verdicts, NFT Issuer Registry, and machine-readable fee schedule
Hosted by authorMITFew starsNo key
Disciplined task pipeline for AI agents: SPEC interrogation, self-contained tickets, proof-based execution, replan, retro. EN/RU docs.
SkillMIT★ 4Few starsNo key
MCP server for InsumerAPI: condition-based access infrastructure. 27 tools: attestation, wallet trust profiles, compliance, commerce. Booleans across 37 chains, signed twice: ES256 and a post-quantum
SkillMIT★ 2Few starsNo key
Readiness system that lets AI agents build your BI pipeline but never approve it -- evidence-gated source profiling, medallion mappings, metric contracts, and Power BI delivery. Offline demo in 60 sec
Node.jsApache-2.0★ 2Few starsNo key
Autonomous AI agent skill to position for the $FLOP airdrop. Install in your agent and prompt 'Help me with the $FLOP airdrop'
SkillMIT★ 9No key
Claude Code skill for autonomous, goal-directed iteration. /autoresearch <goal> builds a real-data benchmark harness, captures a baseline, and iterates with a regression gate until the goal is hit. In
SkillMIT★ 19No key
Who stands behind it
