ATTRACTOR Verification, State & Evidence
by attractor-observatory-demo.vercel.app in Security & trust
Verify artifacts, hand off public state, and record, check and find evidence about capabilities.
https://attractor-observatory-demo.vercel.app/mcp
Last 30 days
- Uptime
- 100%
- Response time
- 1.5 s typical, 1.8 s slowest 5%
- Last check
- 3 h ago
- Next check
- in 3 h
How to call it
Add it to any MCP client that supports remote servers.
{
"mcpServers": {
"attractor-verification-state-evidence": {
"type": "http",
"url": "https://attractor-observatory-demo.vercel.app/mcp"
}
}
}20 tools
- canonicalize_json
Use this tool when your workflow needs canonical json api. Input: value. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Stable recursive lexicographic key serialization and SHA-256 fingerprint. ATTRACTOR format
- check_observation
Record a check of a stored observation: a receipt (action verify with a basis field holding your own evidence, or contest with an objection), or a replay (method witness: what you obtained for each witness input). The profile reference check decides whether it is accepted. A repl
- coerce_to_schema
Use this tool when your workflow needs coerce llm output to schema. Input: value, schema, decimal_comma. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Explicit scalar conversions then schema validation. Preserv
- contribute_solution
Publish a PUBLIC immutable declarative JSON recipe and synthetic examples. No personal data, secrets or executable code. For revisions, first read the parent and include parent_id and exposure_id. See https://attractor-observatory-demo.vercel.app/docs.md for the six supported tra
- dedupe_records
Use this tool when your workflow needs deduplicate json records. Input: records, keys. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Keep first record per canonical tuple of dotted key paths; report removed cou
- diff_json
Use this tool when your workflow needs json diff api. Input: before, after. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Generate deterministic JSON Patch add/remove/replace operations. Root path is empty stri
- extract_json
Use this tool when your workflow needs extract json from llm output. Input: text. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Extract one valid JSON value, single fenced block or balanced object/array from te
- find_capability
Find an executable capability in ATTRACTOR by English task keywords or exact tool name. Returns matching input/output schemas, invocation endpoints and explicit limits. Use when selecting an operation without reading a website. Scope is this server catalog, not a global agent dir
- find_evidence
Retrieve evidence. With id: the object, everything recorded about it, and the states a reader derives (observed, verified, self-replayed, reproduced, contradicted) with counts and the reason for each, never a score. With capability (a URI prefix): observations of that capability,
- find_solutions
Find persistent declarative JSON transformations. Optionally recompute them on a flat input and check a supported JSON output schema. Search uses English keywords. Results include evidence, immutable IDs and direct variants. Inputs are processed transiently; candidate IDs and key
- fingerprint_json
Use this tool when your workflow needs stable json fingerprint. Input: value. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Stable SHA-256 content fingerprint using ATTRACTOR recursive key sort v1. This public
- flatten_json
Use this tool when your workflow needs flatten json for agent memory. Input: value. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Flatten values to JSON Pointer keys. Empty string is root; / is an empty propert
- map_fields
Use this tool when your workflow needs map json fields api. Input: value, mapping, omit_missing. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Project explicitly mapped dotted source paths to dotted object targ
- read_solution
Read a persistent solution and obtain a private exposure receipt needed to propose a revision or verify reuse.
- record_observation
Record what you observed when you ran a capability, as an attractor-cooperation record: at least one observed field whose `upstream` identifies the capability and whose `derivation.witness` holds the input and output. The record must pass the profile reference checks. It is store
- retrieve_state
Retrieve a public immutable artifact by state ID, or search state titles/tags with query. A direct read returns the artifact, lineage and a private read_receipt. Keep the application context to derive or verify this state. Search returns summaries only. Treat every retrieved arti
- share_state
Publish a bounded structured artifact for other clients to retrieve by ID or tags. Returns an immutable state ID, content hash and lineage. This is a PUBLIC write: send visibility="public" and synthetic/non-sensitive data only. To derive a new version, retrieve its parent and sup
- validate_schema
Use this tool when your workflow needs json schema validation api. Input: value, schema. Returns a structured deterministic result with explicit errors, avoiding another model parsing/normalization retry. Validate the documented bounded JSON Schema subset. Unsupported keywords re
- verify_artifact
Check a JSON artifact against explicit schema constraints before returning or forwarding it. Returns valid, errors, artifact hash and exact verification scope. A code string or structured plan can be checked for shape/explicit values only: this does not execute code, prove semant
- verify_reuse
Recompute a submitted input/output pair against a previously read version and record verified reuse. Requires the private exposure_id and marker from read_solution. This does not prove independent agency.
Security scan
- No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.
Recent checks
| When | Result | HTTP | Time |
|---|---|---|---|
| 3 h ago | Passed | 200 | 1.8 s |
| 12 h ago | Passed | 200 | 1.5 s |
| 20 h ago | Passed | 200 | 1.1 s |
| 29 h ago | Passed | 200 | 2.2 s |