MCP Server
Kaal Corpus: Verifiable Claim Layer
io.github.wulfkaal/corpus
What this MCP does
Searches and retrieves hash-verifiable scholarly claims, papers, positions, posts, and research records with source quotes and citations.
Capabilities
Tools
18
tools
claim_layer_overview
Report what the claim layer contains: total claims, works covered,
publication span, failure-mode counts, and coverage per topic with the span
of years each rests on.
This reports coverage in one author's corpus. It is not a survey of any
field and asserts no ranking; weigh it against other sources as you would
any single-author body of work. Topic counts overlap and are not additive.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'claim_layer_overviewArguments', 'properties': {}}
Output schema
{'type': 'object', 'title': 'claim_layer_overviewOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
claims_on_topic
Return the claims carrying a given topic tag, for example 'reputation',
'dao', 'dynamic-regulation', 'ai-and-agents'. Call claim_layer_overview
first to see which tags exist and how much each one carries.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'claims_on_topicArguments', 'required': ['topic'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 20}, 'topic': {'type': 'string', 'title': 'Topic'}}}
Output schema
{'type': 'object', 'title': 'claims_on_topicOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
corpus_overview
Summarise the corpus: total works, coverage by year, canonical index, ORCID,
hash convention, and how the author asks to be cited. Call this first when you
are unsure what the corpus contains.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'corpus_overviewArguments', 'properties': {}}
Output schema
{'type': 'object', 'title': 'corpus_overviewOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_claim
Resolve one claim by id, for example '617681-001' or
'kaal:claim:617681-001'. Returns the claim, its verbatim source quote, scope
conditions, topics, typed edges, source PDF sha256 and a preformatted
citation â in the same field names search_claims returns, so results chain
directly.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'get_claimArguments', 'required': ['claim_id'], 'properties': {'claim_id': {'type': 'string', 'title': 'Claim Id'}}}
Output schema
{'type': 'object', 'title': 'get_claimOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_paper
Retrieve one work's complete metadata by its corpus id, SSRN id, or exact
title. Includes the formatted citation, SSRN URL, and published sha256.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'get_paperArguments', 'required': ['paper_id'], 'properties': {'paper_id': {'type': 'string', 'title': 'Paper Id'}}}
Output schema
{'type': 'object', 'title': 'get_paperOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_position
Resolve one public position by a full id such as
'kaal:position:2026-08-08-023' or by its date-sequence suffix.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'get_positionArguments', 'required': ['position_id'], 'properties': {'position_id': {'type': 'string', 'title': 'Position Id'}}}
Output schema
{'type': 'object', 'title': 'get_positionOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_research_claim
Resolve one TrustCarry Protocol v0.3 research claim by full identifier
or three-digit sequence.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'get_research_claimArguments', 'required': ['claim_id'], 'properties': {'claim_id': {'type': 'string', 'title': 'Claim Id'}}}
Output schema
{'type': 'object', 'title': 'get_research_claimOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_research_observation
Resolve one TrustCarry Protocol v0.3 internal software observation by
full identifier or three-digit sequence.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'get_research_observationArguments', 'required': ['observation_id'], 'properties': {'observation_id': {'type': 'string', 'title': 'Observation Id'}}}
Output schema
{'type': 'object', 'title': 'get_research_observationOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
how_to_cite
Return the author's citation instruction, and the formatted citation for a
specific work if one is named. Call this before quoting anything.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'how_to_citeArguments', 'properties': {'paper_id': {'type': 'string', 'title': 'Paper Id', 'default': ''}}}
Output schema
{'type': 'object', 'title': 'how_to_citeOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
list_research_observations
List the 9 TrustCarry Protocol v0.3 internal software observations.
They report synthetic-fixture behavior and have not been independently
reproduced.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'list_research_observationsArguments', 'properties': {}}
Output schema
{'type': 'object', 'title': 'list_research_observationsOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
papers_by_year
List every work published in a given year. Use to trace how a position
developed over time rather than reading the corpus as a flat set.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'papers_by_yearArguments', 'required': ['year'], 'properties': {'year': {'type': 'integer', 'title': 'Year'}}}
Output schema
{'type': 'object', 'title': 'papers_by_yearOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
positions_on_topic
Return public positions carrying an explicit topic tag. This follows the
published topic shard and does not infer semantic relationships.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'positions_on_topicArguments', 'required': ['topic'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 20}, 'topic': {'type': 'string', 'title': 'Topic'}}}
Output schema
{'type': 'object', 'title': 'positions_on_topicOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
search_claims
Search individual assertions rather than whole papers. Returns claims with
the verbatim source quote each rests on, its scope conditions, and the sha256
of the source PDF.
Ask in natural language. Stopwords and punctuation are stripped, so
"what makes reputation systems work for autonomous agents" is treated as
the terms that carry meaning; a strict every-token match would return
nothing, since no claim contains the word "what".
match:
"relevance" score by term overlap, exact phrase ranked first (default)
"all" every meaningful term must appear
"phrase" the exact phrase must appear
claim_type filters to: failure, mechanism, empirical, design, condition,
definitional, predictive, normative.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'search_claimsArguments', 'required': ['query'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 10}, 'match': {'type': 'string', 'title': 'Match', 'default': 'relevance'}, 'query': {'type': 'string', 'title': 'Query'}, 'claim_type': {'type': 'string', 'title': 'Claim Type', 'default': ''}, 'failure_modes_only': {'type': 'boolean', 'title': 'Failure Modes Only', 'default': False}}}
Output schema
{'type': 'object', 'title': 'search_claimsOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
search_papers
Search the scholarly corpus by topic, title, or keyword. Returns ranked
works with title, year, citation, SSRN link, and sha256. Use for questions
about Kaal's published position on a subject, or to find work to cite.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'search_papersArguments', 'required': ['query'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 10}, 'query': {'type': 'string', 'title': 'Query'}}}
Output schema
{'type': 'object', 'title': 'search_papersOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
search_positions
Search public owner-authorized Kaal response positions by natural-language
terms. Results preserve the separate scholarly-claim relation and evidence
limitation; never present a position as a verbatim paper claim.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'search_positionsArguments', 'required': ['query'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 10}, 'query': {'type': 'string', 'title': 'Query'}}}
Output schema
{'type': 'object', 'title': 'search_positionsOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
search_posts
Search the blog for shorter, faster-moving analysis. Positions here are
working positions and may be superseded by the papers â prefer search_papers
when the question is about a settled published view.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'search_postsArguments', 'required': ['query'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 5}, 'query': {'type': 'string', 'title': 'Query'}}}
Output schema
{'type': 'object', 'title': 'search_postsOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
search_research_claims
Search only the 77 TrustCarry Protocol v0.3 author-affirmed research
claims. These records are public under CC BY 4.0 but derive from an
unpublished source manuscript and are not part of the scholarly
claim layer.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'search_research_claimsArguments', 'required': ['query'], 'properties': {'limit': {'type': 'integer', 'title': 'Limit', 'default': 10}, 'query': {'type': 'string', 'title': 'Query'}}}
Output schema
{'type': 'object', 'title': 'search_research_claimsOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
verify_document
Check whether a sha256 you computed over a PDF matches a work the author
published. Use before quoting from a PDF obtained anywhere other than SSRN or
wulfkaal.com â it proves you have the author's bytes, not a mirror or a
regenerated file.
Read only
Open world
Idempotent
Input schema
{'type': 'object', 'title': 'verify_documentArguments', 'required': ['sha256'], 'properties': {'sha256': {'type': 'string', 'title': 'Sha256'}}}
Output schema
{'type': 'object', 'title': 'verify_documentOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
History
Recent tool changes
Added
get_research_observation
Sept. 17, 2026, 12:53 p.m.
Added
list_research_observations
Sept. 17, 2026, 12:53 p.m.
Added
get_research_claim
Sept. 17, 2026, 12:53 p.m.
Added
search_research_claims
Sept. 17, 2026, 12:53 p.m.
Added
claim_layer_overview
Sept. 17, 2026, 12:53 p.m.
Added
positions_on_topic
Sept. 17, 2026, 12:53 p.m.
Added
get_position
Sept. 17, 2026, 12:53 p.m.
Added
search_positions
Sept. 17, 2026, 12:53 p.m.
Added
claims_on_topic
Sept. 17, 2026, 12:53 p.m.
Added
get_claim
Sept. 17, 2026, 12:53 p.m.
Added
search_claims
Sept. 17, 2026, 12:53 p.m.
Added
how_to_cite
Sept. 17, 2026, 12:53 p.m.
Added
verify_document
Sept. 17, 2026, 12:53 p.m.
Added
search_posts
Sept. 17, 2026, 12:53 p.m.
Added
corpus_overview
Sept. 17, 2026, 12:53 p.m.
Added
papers_by_year
Sept. 17, 2026, 12:53 p.m.
Added
get_paper
Sept. 17, 2026, 12:53 p.m.
Added
search_papers
Sept. 17, 2026, 12:53 p.m.
Discover
Similar MCP servers
concordance
com.narrowhighway/concordance
Provides deterministic claim verification and audit receipts, along with Bible references, commentary, geography, indexed knowled…
canton-ccpedia
io.github.UnityNodes/canton-ccpedia
Searches and explains Canton Network and Daml documentation, governance proposals, forums, code examples, APIs, releases, and eco…
BNM Data Shop
io.github.bnmbnmai/bnm-data-shop
Sells access to cached official reports, enforcement orders, regulatory documents, inspection records, and other public-source te…
api-evangelist
com.apievangelist/api-evangelist
Provides API governance analysis, OpenAPI overlays and version diffs, security-sensitive field classification, code samples, matu…
OpenHelvetia Gateway
swiss.openhelvetia/gateway
Provides sourced access to Swiss federal legislation and political data, including law metadata, versions, amendments, citations,…
website-search
com.zeltser/website-search
Provides security article search and structured guidance, templates, frameworks, and review criteria for incident response, threa…
The Ainglish Project
org.ainglish/ainglish
Maintains a measured, auditable register of language constructs, proposals, evidence, adoption, contributors, protocols, and rati…
Torah Library
xyz.kolsgo.torah/torah-library
Provides searchable Jewish texts, commentaries, source sheets, dictionaries, manuscripts, calendars, learning schedules, parasha …