"A server to improve math capability of AI" matching MCP connectors:
Matching Connector Tools:
Drive real Android & iOS devices and web browsers from natural language for mobile + web QA. 145+ tools across device control, app management, automation sessions, browser automation, and flow recording / replay. Bearer-auth — get a token at robotactions.com → Profile → API Tokens.
Prompt evals over MCP: run a prompt on your dataset, score each output 1-5 with an LLM judge.
Evidence-gated task verification for AI agents. Decompose goals into acceptance criteria, attach proof (screenshot, curl, file), independent LLM judge accepts or rejects. 24 tools. Hosted remote MCP (streamable-http, OAuth 2.1 + DCR).
Free platform to test MCP clients without installing anything. Create mock tools with dynamic templates, configurable delays, conditions (if/then), and response sequences. Supports JSON-RPC 2.0 over Streamable HTTP. Built-in text_echo and json_echo tools. Rate-limited tiers: anonymous (5 calls/min, 1 mock tool), registered (10 calls/min, 4 mock tools), premium (60 calls/min, unlimited). Zero setup — no install, no registration required. More info: https://www.testmcp.dev
Score any URL against a real design contract — 40 checks, A-F grade, token + motion validation.
Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offers paid guardrails that converts natural language to formal verification proofs, that anyone can check succinctly.
Deterministic dataset-quality verdict, score and per-check facts for AI agents. No LLM.
Agentic code review, no signup to try: reality gates + frontier-model review, with veto.
Preflight QA for AI-agent deliverables with structured verdicts and repair guidance.
Accessibility pre-checks (WCAG/BFSG) in a real browser + statement drafts. Pay per call.
A webhook inbox for agents: one call returns a live URL. Mock, verify, inspect and replay.
Verifier-grounded AI promotion gates, disposable report cards, and signed PASS/HOLD/BLOCK receipts.
Give AI coding agents access to your Vynix visual feedback, bug reports, and AI diagnosis.
Can an AI shopping agent find, understand and BUY on a store? Deterministic e-commerce audit /100.
MCP server: NEED + YIELD + CLEAN-MONEY gates with EIP-3009 attestations · Hive Civilization
Find MCP servers and check whether they actually respond, via live handshake probes.
Read-only, deterministic AI triage and readiness tools implementing Sophon's published rubrics.
Voice-powered bug reporting with 13 MCP tools. Record bugs by talking; let AI find and fix them.
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
Deterministic validation for AI-generated artifacts: JSON Schema, OpenAPI response, SQL syntax.