"Information about Query Futures or Future Contracts" matching MCP servers:

Enables agents to query precompiled, versioned Angular Formly contracts to generate deterministic typed end-to-end test intents without evaluating arbitrary application code.

Enables AI agents to drive the 1C:Enterprise test client directly, opening forms, reading and modifying data, working with tables, and recording or replaying action scenarios. Connects to local or remote test clients over their network protocol without a testing manager.

Enables AI agents to hire real human operators for tasks requiring physical presence, human perception, or judgment, such as verification, testing, data collection, and physical-world tasks.

Enables AI coding tools to run CheckMyLaunch scans on GitHub repos or live URLs and retrieve findings and repair prompts directly within the chat.

Enables AI agents to hire verified human operators for tasks requiring physical presence, human perception, or judgment, such as real-world verification, product testing, and data collection.

A universal MCP server that dynamically generates and simulates actions for any query, maintaining state between sessions.

MCP server for verifying AI agent claims vs reality — single-transcript inline grounding-check that flags when an agent's response states facts not in the input context, when its code silently swallows exceptions and substitutes mock data, or when its multi-turn transcript contains contradictions or unverified completion claims. Sub-second, local, free, no API calls.

MCP server that exposes the JsonFabrica API as tools, so an AI agent can generate realistic synthetic JSON test data while it codes — single documents or full relational batches from reusable templates, reproducible with a seed. Runs locally over stdio; no network service.

Umbra is the trust layer for AI-generated code. It scores any repo 0-100 with file:line evidence (security, slop, Docker-verified build/boot, and claim receipts that catch agents lying about tests), and guards agent file writes mid-stream blocking leaked keys, alg:none JWTs, and git-hook plants before they land. Tools: scan_repo, guard_content, get_score.

Enables AI coding agents and IDEs to prove SystemVerilog assertions with SymbiYosys (smtbmc+z3) and lint SVA syntax, returning honest verdicts such as PROVEN, FAILED, UNKNOWN, ERROR, or TIMEOUT.

An MCP server that exposes Swarm's fact reconciliation to AI agents, allowing them to query scope, evidence gaps, and review requirements without being able to issue a final verdict.

Render, analyze, and verify audio (WAV or FLAC) through a fully offline, deterministic engine, exposed as MCP tools for AI agents.

Enables LLMs to read existing PageSnap session packs and map locators to Playwright, Selenium, or Cypress without capturing or opening a browser.

Enables driving an iOS Simulator from a model: taking screenshots, reading the UI tree, tapping, swiping, typing, managing app lifecycle and device state such as appearance, permissions, location, and notifications, without code signing or a physical device.

Generates realistic, referentially-coherent test data (SQL INSERTs, JSON, or CSV) from your database schema, resolving foreign keys and respecting constraints. Paste CREATE TABLE DDL or a JSON schema and get ready-to-run seed data with valid relationships.

MCP server for axe-core accessibility audits. Enables scanning URLs or HTML for WCAG violations with impact levels and fix guidance.

Crawls and grades MCP servers deterministically, providing a registry, leaderboard, and API to query server grades and submit feedback.

Generates synthetic time-series test data with configurable trend, seasonality, noise, anomalies, and multiple correlated streams, outputting JSON, CSV, or SQL.

Audits local package folders to generate publish-readiness reports and previews of NPM tarball contents. It helps developers identify and resolve configuration issues like missing types or broken exports before releasing code.

Enables Cursor AI to query SonarQube for pull request metrics, issues, file issues, and duplication reports directly, without manual data export.