Other

Check one structured public or synthetic low-stakes experiment plan for timing, comparator, outcome and analysis declarations. Returns deficiencies and an integrity receipt. No registration, trusted timestamp, prediction, power analysis or scientific validation.

+1 more from Astrology Experiment-Plan Check

Apply the composite trapezoidal rule to 2-128 equally spaced integer samples. Returns an exact rational arithmetic result, declared units and an integrity receipt. No quadrature-error estimate or claim of an exact underlying integral.

+1 more from Sampled-Series Integration

Compare bounded room requirements with supplied topology; report unknown and contradictory declarations, not architectural approval.

Deterministic four-neighbor BFS on a grid of at most 24×24 cells. Returns a shortest obstacle-free route or an explicit unreachable/step-limit result. Toy discrete geometry only; no hardware, collision certification or physical feasibility claim.

+1 more from Toy grid path dry run

Compare source coverage on exactly the same declared record cohort across two snapshots. Report per-record gained/lost sources, per-source count changes, and global coverage drift. Reject unknown sources or missing/duplicate records. Coverage does not establish source quality.

+1 more from Source coverage drift

Inspect a declared dependency graph of up to 64 nodes and 128 edges: exact cycle membership, source-root reachability, and deterministic graph digest. Duplicate edges and dangling references are rejected. Hash declarations are not authenticated.

Check declared citation coverage of up to 64 claims against bounded source and locator inventories. Reject duplicate IDs and dangling references. Coverage is structural, not proof that a source supports a claim.

Check presence of baseline, primary measure, acceptance threshold and bounded stopping rule; no efficacy or statistical validation.

Compute binary Brier score and count-weighted ECE for up to 256 declared held-out score/outcome pairs. Supports probability or percent scores, normalized to probabilities. Equal-width bins use exact rational boundaries: lower inclusive, upper exclusive, final bin includes 1. Empty bins report null means/gaps. No clinical validity claim.

Packmind captures, scales, and enforces your organization's technical decisions.

Accounts-payable exception environment with a pass/fail verifier and proof packet: AI agents work AP

Permission boundary receipts for ChatGPT agents.

Agentic workflow budget approvals with usage receipts.

A paid remote MCP for OpenAI Codex agent coordination MCP, built to return verdicts, receipts, usage

Remote MCP for Gemini upgrade evals, prompt regressions, output diffs, and eval receipts.

Remote MCP for GenAI span mapping, provider normalization, dashboard schemas, and receipts.

Remote MCP for Kiro release readiness, evidence binders, signoff, and CI approval receipts.

OAuth scope approvals and consent receipts for remote MCP servers.

Remote MCP for tool license checks, vendor policy review, alternatives, and license receipts.

Paid remote MCP for safety replays, policy gates, eval receipts, and release evidence.

A witness layer for AI agent tool calls.

AI orchestration for computational chemistry and HPC workflows.

Create signing requests, check status, send reminders, and manage Aoexl templates.

Assert an agent's output — JSON schema, terms, lengths, citations, quotes in a source; a signed record. GET ?text=&checks=

AI-powered credit union discovery MCP server. Find rates, check eligibility, and open accounts.

Connect AI assistants to Subotiz - Using Subotiz's external capabilities through natural language

AI cover letter generation for agents. Job analysis, profile matching, narrative letters.

量化交易MCP工具集，27个工具覆盖策略指标、回测引擎、风控分析和数据管线

Machine-readable FCC pre-diligence corpus for multifamily broadband infrastructure scenarios.

BPC Agentic Commerce Signals