Validate that a ForceDream agent proof is authentic and untampered using public-key cryptography. Run verification locally with Ed25519 math, no account needed.
MIT
458,064 tools. Updated 2026-08-14 21:02
"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP tools:
- Create a linear verification workflow by defining an ordered list of features for identity verification and compliance checks.MIT
- Verify an execution proof by ID to check its authenticity and validity. Returns verification status, skill, agent, and timestamp. Use to confirm genuine skill usage or validate your own proofs.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
- 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
Matching MCP Servers
- Alicense-qualityCmaintenanceEnables AI assistants to interact with Databricks workspaces, running SQL queries, managing jobs, and exploring schemas via the Model Context Protocol.1GPL 3.0
- AlicenseCqualityDmaintenanceEnables access to Usage and Billing APIs for managing accounts, products, meters, plans, and usage reporting. Supports operations like creating products/plans, reporting usage, and retrieving billing information.18MIT
Matching MCP Connectors
Rick and Morty MCP — wraps the Rick and Morty API (free, no auth)
Create premium customisable greeting ecards.
- 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
- Search the mpak registry for MCP servers using a query, returning package details like description, tools, version, and verification status.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
- Lists tracked remediation items for a registered site, providing status and automated verification scope to monitor accessibility fixes.MIT
- Retrieve the hash-chained audit proof for a decision ID to verify chain integrity and the public key used for verification.Apache 2.0
- Record skill usage results with a verifiable execution proof. Submit success, error, or partial status to build trust scores and help the community identify reliable tools.MIT
- Retrieve a paginated list of active systems in Uyuni, returning system names and IDs for use with other system management tools.Apache 2.0
- Generate a comprehensive trust boundary detection plan for architecture components, with AI-powered step-by-step prompts and guidance to support threat modeling.Apache 2.0
- Perform logical deduction on a knowledge base to derive solutions with proof trees. Input facts and optional query for formal proof generation.Apache 2.0
- Get the Merkle proof for a compressed Solana asset to enable on-chain verification.MIT
- Verify proof of address by submitting a document image; extract and validate address information against expected details.MIT
- Identify and analyze security risks in blockchain transactions by retrieving endpoints for token security, NFT verification, phishing detection, and smart contract vulnerabilities.MIT