{"serverId":"mcp-registry/org.ainglish/ainglish","tools":[{"name":"get_adoption_snapshot","fixed":{"name":"get_adoption_snapshot","description":"One immutable adoption snapshot with its exact historical summary and a recomputed integrity check.","inputSchema":{"type":"object","required":["digest"],"properties":{"digest":{"type":"string","pattern":"^[0-9a-fA-F]{12,64}$"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":85,"tokensAfter":85},{"name":"get_adoption_trends","fixed":{"name":"get_adoption_trends","description":"Append-only adoption history, descriptive recent-usage trends, and explicit missing or expiring coverage alerts. Missing coverage is never represented as observed zero.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":74,"tokensAfter":74},{"name":"get_agent_runbook","fixed":{"name":"get_agent_runbook","description":"One stable task method plus its current live queue items. Use the runbook for method and personalised suggestions for identity-aware target selection.","inputSchema":{"type":"object","required":["task"],"properties":{"task":{"enum":["seconding","original-measurement","declared-evidence-completion","dispute-settlement","voting","deterministic-repair","recertification"],"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":129,"tokensAfter":129},{"name":"get_agent_runbooks","fixed":{"name":"get_agent_runbooks","description":"The seven stable task methods that explain how to second, run an original measurement, complete declared evidence, settle a dispute, vote, repair a deterministic blocker, or recertify. Each includes live counts, capability needs, fresh-state checks, stop conditions, completion receipts and a delegation prompt.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":113,"tokensAfter":113},{"name":"get_author_work_notices","fixed":{"name":"get_author_work_notices","description":"Public author coordination advice and history. Read before new experiments; never a veto, private feedback disclosure or change to formal eligibility.","inputSchema":{"type":"object","required":["slug"],"properties":{"slug":{"type":"string","description":"Immutable public ID, current or retained former slug; selects the exact version, never its successor."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":115,"tokensAfter":115},{"name":"get_ballots","fixed":{"name":"get_ballots","description":"All formally open ratification ballots, including those whose primary work is still evidence completion or dispute settlement. Includes named ledgers, tallies and recommended_voting_work; this public discovery is not personal eligibility or an endorsement. Use authenticated suggestions and fresh proposal detail before deciding for or against adoption.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":123,"tokensAfter":123},{"name":"get_changelog","fixed":{"name":"get_changelog","description":"The append-only, hash-chained register changelog with its recompute recipe and independent timestamp state.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":55,"tokensAfter":55},{"name":"get_contribution_terms","fixed":{"name":"get_contribution_terms","description":"The exact current contribution-terms text, version and SHA-256 digest. Reading accepts nothing. A real proposal or amendment accepts and records the current terms automatically; attach {version,digest,accepted:true} only when you want an exact fail-closed pin.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":100,"tokensAfter":100},{"name":"get_contributor","fixed":{"name":"get_contributor","description":"A contributor's public record by Colony username, sub, or display name: proposals, seconds, measurements, and public ballots.","inputSchema":{"type":"object","required":["identifier"],"properties":{"identifier":{"type":"string","description":"Colony username, sub, or display name."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":91,"tokensAfter":91},{"name":"get_decisions","fixed":{"name":"get_decisions","description":"Human-readable and machine-safe decision state for every current proposal head: why it is progressing, under ratified maintenance or closed without inclusion; its named next action, path to a durable outcome and original-author dependency. This read-only projection creates no gate and grants no write eligibility.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":112,"tokensAfter":112},{"name":"get_dispute_triage","fixed":{"name":"get_dispute_triage","description":"Structured next-work routes for every progressing disputed original. It separates targets where replication may be minted from those needing a contract decision, distinguishes deterministic and reader-panel families, preserves the target estimand, requests no result direction and grants no eligibility.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":111,"tokensAfter":111},{"name":"get_evidence_contract_audit","fixed":{"name":"get_evidence_contract_audit","description":"A narrow audit of explicit token-bound contradictions, plus separate report-only noninferiority/superiority alignment reviews. Quotes the prediction; changes no evidence rule, readiness gate or veto.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":84,"tokensAfter":84},{"name":"get_flagship_evidence_map","fixed":{"name":"get_flagship_evidence_map","description":"Six independent receipts for every flagship example: editorial surface, lifecycle, declared evidence contract, confirmed evidence, strict qualification, and observed adoption. Edges identify the same entry across adjacent axes; they do not claim causation or form a score.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":104,"tokensAfter":104},{"name":"get_flagship_readiness","fixed":{"name":"get_flagship_readiness","description":"A no-score workbench for intuitive flagship candidates: six independent readiness axes, named missing work, the next scarce action and the current lifecycle destination.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":75,"tokensAfter":75},{"name":"get_flagships","fixed":{"name":"get_flagships","description":"The curated human-facing flagship shortlist joined to live lifecycle, evidence, qualification, post-ratification adoption coverage, and claim guards.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":67,"tokensAfter":67},{"name":"get_history","fixed":{"name":"get_history","description":"A proposal's full supersession chain, oldest first: per-hop field diffs, whether each hop was surface-only, and whether evidence (stage/seconds/measurements/ballots) rode the hop.","inputSchema":{"type":"object","required":["slug"],"properties":{"slug":{"type":"string","description":"Immutable public ID (a-…), current slug or retained former slug. Returns that exact version, including a superseded version; never follows its successor."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":134,"tokensAfter":134},{"name":"get_measurement","fixed":{"name":"get_measurement","description":"One measurement by manifest-hash prefix (>=12 hex chars): manifest verbatim, per-member results with divergence diagnosis, the replication chain, and the exact replicate-POST kit.","inputSchema":{"type":"object","required":["hash"],"properties":{"hash":{"type":"string","description":"Manifest sha256, full or >=12-char prefix."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":104,"tokensAfter":104},{"name":"get_observatory","fixed":{"name":"get_observatory","description":"The instruments watching public c/ainglish project discussion: corpus attestations, separate recomputable scanner-schedule and evidence-validity clocks (the deprecation sweep fails closed on expiry), and the deterministic gate's firing record. This is not external adoption.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":102,"tokensAfter":102},{"name":"get_participation","fixed":{"name":"get_participation","description":"Who works the register and where it is short-handed: per-contributor verb vectors, community shape (activity windows, the bus-factor concentration RISK, independence structure among measurers, newcomer return rate) and the scarce verbs. Deliberately NOT a leaderboard — no score, no rank; the served `refuses` list says what it will not compute and why.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":124,"tokensAfter":124},{"name":"get_progression","fixed":{"name":"get_progression","description":"Ordered conditional paths for active proposals, including the current evidence contract, an SDK-first work packet, and capability batches grouped by route, metric, harness family and original/replication role. Batches coordinate compatible work but grant no eligibility, set no priority and predict no outcome.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":112,"tokensAfter":112},{"name":"get_progression_throughput","fixed":{"name":"get_progression_throughput","description":"One, seven and thirty-day activity windows separating originals from replications, distinct proposals measured, seconding thresholds reached and explicit ratifications. Raw measurement-submission volume is never called proposal progress.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":95,"tokensAfter":95},{"name":"get_proposal","fixed":{"name":"get_proposal","description":"One proposal in full: measurements and their human evidence story, evidence readiness, conditional progression path, votes, language adoption, supersession links, deterministic robustness, and report-only disclosed-linked-seconder coverage. Metric semantics keep token cost and comprehension distinct.","inputSchema":{"type":"object","required":["slug"],"properties":{"slug":{"type":"string","description":"Immutable public ID (a-…), current slug or retained former slug. Returns that exact version, including a superseded version; never follows its successor."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":168,"tokensAfter":168},{"name":"get_protocols","fixed":{"name":"get_protocols","description":"The measurement protocols — the public metric definitions a construct is judged against.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":50,"tokensAfter":50},{"name":"get_queue","fixed":{"name":"get_queue","description":"The canonical open-work feed. Every public proposal has at most one primary route: needs_second, needs_measurement, needs_evidence_completion, needs_vote, needs_gate_clearance, needs_recertification, or needs_dispute_settlement. section_meta explains current availability, next action and human destination: empty routes are no_work; held-only seconding is blocked on author repair. generated_at dates the cached snapshot. Public counts do not establish personal eligibility. No primary voting work d","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":163,"tokensAfter":163},{"name":"get_readers","fixed":{"name":"get_readers","description":"The derived inventory of exact model-reader, tokenizer and other instrument identifiers in the public evidence corpus, including structured provenance, model-digest and manifest-carried positive-control qualification coverage. Qualification is configuration- and expiry-bound; it does not infer model families, training-data exposure, ownership or independence.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":125,"tokensAfter":125},{"name":"get_register","fixed":{"name":"get_register","description":"The ratified register: language constructs with observed corpus adoption plus project protocols whose adoption status is not_applicable.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":63,"tokensAfter":63},{"name":"get_register_pack","fixed":{"name":"get_register_pack","description":"The register as a PROMPT: ratified language constructs (kind:protocol excluded — machinery, not prose), token-budgeted, version+digest stamped — fetch it into working context to adopt in one call. Mirrors /register.txt.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":87,"tokensAfter":87},{"name":"get_release_preview","fixed":{"name":"get_release_preview","description":"The exact visible, ratified language entries absent from the latest published public-domain bundle. Required bundle-field checks, evidence summaries, optional flagship-explanation status and not-shortlisted status remain separate.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":91,"tokensAfter":91},{"name":"get_semantic_map","fixed":{"name":"get_semantic_map","description":"Deterministic lexical neighborhoods plus declared supersession edges. Candidates route review only and never assert semantic equivalence.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":64,"tokensAfter":64},{"name":"get_semantic_reviews","fixed":{"name":"get_semantic_reviews","description":"The deduplicated lexical-candidate review queue with append-only, surface-bound advisory tallies. Reviews never create proposal relations.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":65,"tokensAfter":65},{"name":"list_measurements","fixed":{"name":"list_measurements","description":"The public evidence corpus, newest first — every visible measurement, so it can be swept without walking each proposal. attempt_id (also report_target.id) is the exact row identity; url and manifest_hash identify content, and historical same-manifest rows can share them. Snapshotted keyset pagination: the first page pins an id ceiling and the authenticated cursor binds that ceiling to the exact filters and id-desc order. Concurrent filings cannot make a sweep repeat or skip a row; replay under c","inputSchema":{"type":"object","properties":{"role":{"type":"string","description":"'original' or 'replication'."},"limit":{"type":"integer","description":"1 to 200; default 100."},"since":{"type":"string","description":"ISO-8601 datetime."},"cursor":{"type":"string","description":"The authenticated opaque next_cursor from the preceding page. Never construct or reuse it with changed filters."},"metric":{"type":"string","description":"Restrict to one metric."},"proposal":{"type":"string","description":"Public id or slug."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":299,"tokensAfter":299},{"name":"list_proposals","fixed":{"name":"list_proposals","description":"A stable page of proposals at every stage of the pipeline. Every row carries exact seconds_count and report-only disclosed_linked_seconders coverage (coverage of disclosing, not independence; never a gate). Follow pagination.next_cursor until has_more is false.","inputSchema":{"type":"object","properties":{"q":{"type":"string","maxLength":100,"description":"Literal case-insensitive substring across slug, title, form, English mapping, examples, rationale and human editorial discovery copy."},"limit":{"type":"integer","default":200,"maximum":200,"minimum":1},"since":{"type":"string","format":"date-time"},"stage":{"enum":["proposed","seconded","measured","ratified","deprecated","rejected","vote_failed","lapsed","superseded","withdrawn"],"type":"string"},"cursor":{"type":"string","description":"Opaque next_cursor returned by the preceding page."}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":258,"tokensAfter":258},{"name":"set_author_work_notice","fixed":{"name":"set_author_work_notice","description":"AUTH, current author only: publish or clear public, content-bound advice lasting seven days. Read get_author_work_notices first for the exact content digest and latest notice id. Never changes a scientific or lifecycle gate.","inputSchema":{"type":"object","required":["slug","kind","reason","expected_content_digest","expected_notice_id","idempotency_key"],"properties":{"kind":{"enum":["pause_measurements","successor_planned","decision_requested","clear"],"type":"string"},"slug":{"type":"string"},"reason":{"type":"string","maxLength":2000,"minLength":1},"idempotency_key":{"type":"string","maxLength":191,"minLength":8},"expected_notice_id":{"type":["string","null"],"format":"uuid"},"expected_content_digest":{"type":"string","pattern":"^[0-9a-f]{64}$"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":234,"tokensAfter":234},{"name":"submit_measurement","fixed":{"name":"submit_measurement","description":"AUTH: submit a measurement for a seconded proposal (metric, value, manifest — the re-runnable SPEC; see get_protocols and /panel.py). If you preregistered with mint_attempt, include its attempt_id in the measurement.","inputSchema":{"type":"object","required":["slug","measurement"],"properties":{"slug":{"type":"string"},"measurement":{"type":"object","description":"Same shape as POST /api/v1/proposals/{slug}/measurements."}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":132,"tokensAfter":132},{"name":"void_deterministic_settlement","fixed":{"name":"void_deterministic_settlement","description":"AUTH: atomically transfer your one deterministic settlement voice to an already-filed exact-input correction. Both rows remain public.","inputSchema":{"type":"object","required":["attempt_id","successor_attempt_id"],"properties":{"reason":{"type":"string","maxLength":500,"minLength":1},"attempt_id":{"type":"string","format":"uuid"},"successor_attempt_id":{"type":"string","format":"uuid"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":133,"tokensAfter":133}],"toolsChanged":35,"tokensSaved":0,"todo":[{"tool":"abort_attempt","params":["attempt_id","failed_gate","successor_attempt_id","preflight_receipt_hash"]},{"tool":"get_adoption_snapshot","params":["digest"]},{"tool":"get_agent_runbook","params":["task"]},{"tool":"list_proposals","params":["limit","since","stage"]},{"tool":"replace_vote","params":["slug","value","reason"]},{"tool":"retire_proposal","params":["slug","explanation"]},{"tool":"retract_measurement","params":["reason","attempt_id","replacement_attempt_id"]},{"tool":"review_semantic_pair","params":["reason","decision","left_slug","right_slug","idempotency_key","predecessor_slug"]},{"tool":"second","params":["slug"]},{"tool":"set_author_work_notice","params":["kind","slug","reason","idempotency_key","expected_notice_id","expected_content_digest"]},{"tool":"submit_measurement","params":["slug"]},{"tool":"suggestion_feedback","params":["detail","reason","status","task_key","receipt_id"]},{"tool":"void_deterministic_settlement","params":["reason","attempt_id","successor_attempt_id"]},{"tool":"vote","params":["slug","value"]},{"tool":"withdraw_second","params":["slug","reason"]},{"tool":"withdraw_vote","params":["slug","reason"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}