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
204,350 tools. Last updated 2026-06-15 00:11
"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP tools:
- Check Lean 4 proofs and snippets with the actual kernel. Submit a statement and proof for verification, or a full snippet for typechecking.Apache 2.0
- Retrieve a paginated list of active systems in Uyuni, returning system names and IDs for use with other system management tools.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
- Get the Merkle proof for a compressed Solana asset to enable on-chain verification.MIT
- Identify and analyze security risks in blockchain transactions by retrieving endpoints for token security, NFT verification, phishing detection, and smart contract vulnerabilities.MIT
Matching MCP Servers
- 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.Last updated18MIT
- Alicense-qualityDmaintenanceMCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.Last updated1Apache 2.0
Matching MCP Connectors
Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace
Real-time fact-check, citation verification, and source-freshness for AI agents.
- Create a setup or deployment document with prerequisites, steps, and verification. The document is indexed and auto-pushed to git for infrastructure and CI/CD guides.Business Source 1.1
- Generates all necessary inputs for zero-knowledge proof generation: computes and signs attestation data, builds Merkle proof. For OIDC domain circuits, provide JWT and scope.MIT
- Launch the PureScript IDE server to enable type checking, auto-completion, and error detection. Automatically stops existing servers to prevent conflicts, selects a random port, and requires an absolute project path. Essential for pursIde* tools functionality.MIT
- Generate zero-knowledge proofs for identity claims (Coinbase KYC, country, OIDC domain) in a single call. Returns proof bytes, public inputs, and timing.MIT
- Retrieve the complete list of AI-associated words and their human replacements to identify and avoid phrasing that triggers AI detection.MIT
- Discover how to implement on-device AI with Android AICore and ML Kit, enabling private, offline features like smart reply and object detection without network calls or API costs.MIT
- Moves an Apple Notes folder to a new location using its ID, with AppleScript verification and duplicate name prevention.MIT
- Fetch signed evidence packets for task trees to provide portable proof artifacts for compliance review, incident analysis, or independent verification.Apache 2.0
- Compare detection metrics between original AI-generated text and its humanized version to verify improvement in burstiness, vocabulary tells, structure, and risk scores.MIT
- Verify and anchor AI agent decisions on Base and Solana with cryptographic signatures, producing auditable on-chain proof URLs for autonomous approvals or model attestation.MIT
- Audit content comprehensively with AI detection, plagiarism checking, readability analysis, grammar review, and fact verification in a single scan for pre-publish quality assurance.AGPL 3.0
- Analyze text for AI detection and plagiarism scores, then rewrite content to meet specified thresholds for humanized output.MIT
- Lists all available security detection patterns for AI systems, including prompt injections, jailbreaks, data exfiltration, and social engineering attacks, organized by category with severity levels.MIT
- Retrieve cryptographic proof bundles containing request/response hashes, parties, RFC 3161 timestamps, Sigstore Rekor entries, and archive.org snapshots for verification purposes.MIT