Create a linear verification workflow by defining an ordered list of features for identity verification and compliance checks.
MIT
650,527 tools. Updated 2026-10-14 05:28
"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP tools:
- Initiate identity verification for any asset identifier—phone, email, domain, social handle, wallet, account, or Telegram bot—by providing type, channel, and identifier to generate a challenge or proof.MIT
- Authenticate with X credentials to enable write and private tools for the current session. Supports email verification and TOTP for two-factor authentication.MIT
- Validate that a ForceDream agent proof is authentic and untampered using public-key cryptography. Run verification locally with Ed25519 math, no account needed.MIT
- Permanently revoke a proof by its public handle or verification ID, making it invalid across all validation endpoints and revocation lists. Irreversible and limited to the proof itself, not the underlying asset.MIT
- Check if your zkVerify proof aggregation is posted on Horizen by querying the aggregation proxy contract, with optional on-chain Merkle proof verification.MIT
Matching MCP Servers
- AlicenseNot gradedqualityBmaintenanceEnables MCP clients to connect to a privacy-first, self-hostable workout planning and training log, allowing coaching agents to preview and apply program changes while accessing training data through OAuth-protected endpoints.AGPL 3.0
- AlicenseNot gradedqualityDmaintenanceEnables AI assistants to interact with Databricks workspaces, running SQL queries, managing jobs, and exploring schemas via the Model Context Protocol.1GPL 3.0
Matching MCP Connectors
Rick and Morty MCP — wraps the Rick and Morty API (free, no auth)
Human-verified daily catalog of free and cheap AI model API credits and token promos.
- Orchestrates live Roblox tools with a discover→act→verify workflow, enabling AI agents to run multi-step tasks with step references, mutation approval, and verification.MITDestructive
- Retrieve a snapshot of Kaspa BlockDAG topology including tips, sink, virtual chain, pruning point, and blue scores. Use for DAG-state monitoring, side-branch detection, and sync verification.MIT
- Enumerate systems on a Redfish BMC, returning URIs and optional detailed resource payloads with health snapshots.Apache 2.0
- Log AI governance decisions to an immutable, hash-linked audit trail. Records ALLOW/DENY with agent ID, action, and reasoning, returning a proof hash for verification.Apache 2.0
- List all AI systems in your workspace with registration status and evidence coverage to identify unregistered systems and gaps before the EU AI Act deadline.MIT
- Retrieve the verification status of a multi-channel group by its group ID, showing aggregate state, winning channel, per-channel results, and proof token when verified.MIT
- Retrieve proof tokens for verified assets in a verification request, enabling offline proof validation.MIT
- Retrieve verification requests created by your Proof account to review their statuses and details. Consolidate submitted requests for easier tracking.MIT
- Search the mpak registry for MCP servers using a query, returning package details like description, tools, version, and verification status.MIT
- Retrieve a verification by ID to get its full status, channel, and proof token when verified. Use this to confirm verification results.MIT
- Complete a verification with a test-mode API key and verification ID, bypassing real OTP delivery. Simulates successful OTP validation to test authentication flows without sending an actual passcode.MIT
- List all domains in your Proof account to view metadata and verification status in one place.MIT
- Fetch domain details by ID, including verification status, DNS records, and provider connections. Requires Proof account authentication.MIT
- Fetch intelligence report for a Verlon AI gate, including session themes, drift detection, and optimization recommendations. Returns null for new gates with no traffic.MIT
- Maps Hermes /goal, verification evidence, /learn, /journey, and background subagents into Marrow proof and outcome workflows. Provides integration guidance for applying Marrow governance to Hermes agents.MIT