Concordance
About
Language models generate; Concordance verifies. The verify tool checks a claim deterministically (no model in the loop) and returns HOLDS / BROKEN / INCOMPLETE with the worked reasoning and a sealed receipt (content_hash + cite_url) that re-fetches byte-identical or not at all. A
Details
- Author
- matharrismma
- Downloads
- 264
- Categories
- Knowledge Base
Jump to
- Seven primitives: Claim, Verifier, Verdict, Seal, Ledger, Ranker, Surface.
- Deterministic verification with a guarantee of zero false-positives.
- Tamper-evident ledger through an append-only hash chain of seals.
- Configurable secular or witness surface from one foundation.
- Purely functional verifiers with no I/O and no LLM involvement.
- Content-addressed SHA-256 seals for independent re-verification.
Setting up with Highlight
This MCP is not yet compatible with Highlight’s one-click setup. However, you can still use it with Highlight by following these steps:
- Download and install Highlight from highlightai.com/download
- Navigate to the plugins tab and select "Add Custom Plugin"
-
Configure the plugin with the settings below
Plugin Name
ConcordanceCommand (node, npx, python, etc.)Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.
- Enable "Start Automatically" if you want the plugin to start when Highlight launches
From the repository
Run with PYTHONPATH=src python -m concordance serve for the secular surface, or add --surface witness for the witness face. Then open http://127.0.0.1:8000/ to bring a claim and get a receipt. Data is generated by migration tools, but the engine runs without it (with less retrieval).
verify
Verify a claim deterministically — returns a verdict (HOLDS / BROKEN / INCOMPLETE / SYSTEM_ERROR), the worked trail, AND a sealed receipt {content_hash, cite_url} you can re-fetch and re-verify (seal_fetch). Two forms: (a) MATH — {mode, params}; (b) ANY DOMAIN — pass `steps`, a list of {id, domain, spec} where spec is that domain's packet (e.g. {domain:'physics', spec:{PHYS_VERIFY:{mass_kg, acceleration_m_per_s2, claimed_force_N}}}). ~60 secular domains are covered (physics, medicine, finance, chemistry, ...); find_verifier(keyword) locates the right one. The engine eliminates what is not the answer; it does not generate it. READ THE VERDICT EXACTLY: only BROKEN is a finding about the claim. SYSTEM_ERROR means OUR verifier could not run (see `means` and `error_at`) and says NOTHING about whether the claim is true — never relay it to a human as a refutation. INCOMPLETE means no verifier applied (`gap_at`).
audit
Audit a whole text: deterministic extractors find every checkable quantitative claim (sums, percentages, hourly/annual pay, compound interest, rule-of-72, elapsed years, day-of-week, leap years, nutrition labels), the engine verifies the lot, and ONE sealed coverage report returns — per-claim source quote + verdict + trail. Conservative by design: it only extracts unambiguous patterns and says how many claims it checked; it never guesses and never implies full coverage.
search
Ranked search over the keeping (the kept library).
seal_fetch
Fetch a sealed verification record (the receipt) by its content hash.
redact
Strip PII (emails, SSNs, credit cards, IPs, URLs) from text to stable placeholders before you pass it onward; the mapping is returned so YOU reveal replies locally. For true privacy run this on a LOCAL/sovereign engine (the text never leaves your machine) or use the client libraries — the strip belongs at your edge. Deterministic; pair with verify for a receipt.
card_get
Fetch one card (the full record) from the keeping by id.
cards_browse
Browse the keeping — paginated, optional shelf filter. Returns card briefs.
decks
The decks — curated card SETS, both by-situation (need decks, frontloaded for a moment of need like 'when the power goes out') and by-domain. Each with a live card count; `need: true` marks a situation deck.
deck_open
Open a deck to its frontloaded hand — the cards that situation calls for, in order, with NO query needed. Give the deck `id` (from `decks`). Ideal for anticipating need: open 'water-safe', 'first-aid-far', 'grow-food', 'be-not-afraid', etc., and get the hand ready to read.
cards_stats
Counts over the keeping — total, by shelf, by surface.
daily_card
The deterministic card of the day from the keeping (same all day).
grid_axis
The map: a read-only view of one axis (its scaffold members, depth, neighbors, umbrella children). Omit `axis` for an overview of all axes.
grid_dimension
The axes that sit on a given scaffold member (dimension).
card_connections
Cards related to one card — its explicit links + same-shelf siblings.
locate
Find the card for a query — by exact id, then title, else ranked search.
library_health
Corpus health — is the keeping loaded and sound (totals, shelves, surfaces).
pronounce
A synthesized pronunciation guide (respelling + approximate IPA) for a transliteration or word — honestly labeled, not a native speaker.
steward_budget
Steward — a household budget (income, expenses -> net, savings rate, by category). Shows and plans; NEVER moves money.
steward_cost_destroyed
Steward — cost destroyed: money you did NOT spend (was -> now), kept in your currency.
coach_subjects
Coach — the subjects a learner can study (read / mcguffey / aesop / founding / pilgrims / es / …), each with its unit count. 'read' is the door in.
coach_overview
Coach (K-3 tutor) — one subject's whole path: unit count, tracks, ordered unit briefs. ?subject= selects the path (default 'read'). Verbatim; never generated.
coach_unit
Coach — one unit, VERBATIM as authored (rule, examples, decodable sentence, checks).
coach_next
Coach — the next lesson in a subject, deterministically. Omit `after` for the first unit; pass a unit id for the one that follows it. `subject` selects the path.
coach_recommend
Coach — adaptive 'what's next' in a subject: given completed unit ids, the next lesson whose prerequisites are met (grows with the student). Found, never generated.
coach_mastery
Coach — seal an HONEST INTEGER count of completed units (a receipt for progress, never a grade on the child). Returns a re-checkable seal.
coach_guidance
Coach — what it does and the boundary it will not cross (never grades a child).
identity_create
Explains how to create a SOVEREIGN identity — keys are born on the USER'S device (never on the server; no private key crosses the wire). Returns guidance, not a key. The server only handles public keys (identity_verify, identity_fingerprint).
identity_verify
Verify a signature over a message against a public key (never raises; True/False).
identity_fingerprint
Derive the stable public fingerprint id from a public key (deterministic).
badges_issue
Issue a badge over already-sealed checks — a re-checkable receipt that points at N seals that STILL STAND. States EXACTLY N; NEVER a competency claim.
badges_verify
Re-check a badge from the store — re-verifies every seal it references and returns the count that still stands (N recomputed, not trusted).
self_attest
Record a person's OWN words about their study — a DISTINCTLY TYPED record that can NEVER count as a sealed check or satisfy an auto-graded requirement.
study_create
Create/extend a shared study (superposition stack) — each entry mints ONE card that lives once and is referenced by key; no duplication.
study_export
Export a study as a self-contained, portable bundle. Returns the bundle and its content_hash; to bind your identity to it, sign that hash with your own key on your own machine — this tool does not take a private key.
study_import
Import an exported study bundle — re-materializes its cards (each lives once).
groups_list
Discover pseudonymous shared-study groups by TOPIC (not by person). Optional q filters over topic/title/description. Members are handles only — no PII.
group_get
A study group: topic, member handles (no ids/PII), and the shared-study cards.
group_create
Open a study group around a topic (pseudonymous; a handle, no personal info). For grown believers — the children's coach is a separate, never-joined surface.
group_join
Join a study group (consent-based, pseudonymous; idempotent).
group_contribute
Add a verse/note/question to a group's shared study — attributed to your handle, optionally signed. Verbatim; a member's own words, not engine-verified.
calendar_create
Create ONE event in a human's calendar — the pilot on-behalf write, and the only one. Requires a LIVE consent grant: the human signed a scoped, expiring calendar_write grant for YOUR key fingerprint on their own device (GET /consent/signable → sign locally → POST /consent). Without it this refuses and teaches the way in. The event lands only in the calendar THEY configured (their .ics file or CalDAV); nothing is stored here, and the receipt names the grant that authorized it. Deleting the event in their calendar removes it everywhere.
consent_check
Check whether a human has authorized YOU (this agent's key fingerprint) for a named verb — the agent covenant's 'request human authorization before writes'. Speaking as YOURSELF (your own key, your own words) needs no consent: a member is not a proxy. Consent governs only acting on a human's behalf with their data. If unauthorized, the response teaches the way: the human issues a grant via GET /consent/signable, signs on their device, POSTs to /consent.
shelf_signable
THE COMMONS — step 1 of stocking your own shelf. Returns {fields, signable}: the exact canonical bytes to sign with YOUR key on YOUR machine. A shelf is a covenant key with cards on it, not an account. Rings: `private` (only you) · `shelf` (you and the friends who chose you — UNGATED, live the moment you sign) · `commons` (site-wide, waits for a human steward). The gate is on what the library AMPLIFIES, never on what you may say.
shelf_drop
Step 2 — stock the shelf. Send the fields from shelf_signable plus a detached signature over those bytes; the private key never travels. Your words stay at the `member` tier forever: promotion to the commons carries them further, it does not make them the library's claim. `display_name` is the ONLY profile field there is.
shelf_read
Read one member's shelf. Pass `viewer` (your own key) to see your own private drops; anyone else sees the shelf ring and promoted commons cards only. Nothing anywhere records who read what.
commons_read
What the fellowship has put on the commons — promoted member work, newest first. Every card is a member's own work at the `member` tier: the library amplified it; the library did not verify it.
playbook_read
THE PLAYBOOK — the Body's testimony of faithful obedience: 'Canon commands, Playbook remembers.' List entries (optionally by `status` quarantine/confirmed/rejected/pruned or `author`), or one by `id`. Confirmed testimony is affirmed BY THE BODY — it is NOT Scripture and binds no conscience. The Playbook remembers; it never becomes doctrine.
playbook_signable
Step 1 — the exact bytes to sign ON THE DEVICE for a Playbook write. `op` is entry | witness | outcome | prune. A new `entry` REQUIRES a CONFESSION ('I may be wrong. I acted in faith according to [anchors].') + ≥1 Scripture anchor + an action (OPEN/BUILD/RESERVE/PRUNE/HOLD). The key never travels.
playbook_submit
Step 2 — verify your detached signature over those exact bytes and enter the testimony/event. A new entry is born QUARANTINE and reaches CONFIRMED only when TWO independent brothers affirm (never the author — Deut 19:15) and the wait elapses. Record the OUTCOME (fruit/mixed/failed) later, after it is seen; a failed fruit may be PRUNED (John 15:2). Failure is not hidden.
curate_queue
What waits on a HUMAN steward. The counter never promotes; it only decides when a person must look.
curate_signable
The canonical bytes for withdrawing YOUR OWN card. A member never needs permission to take their own words down — the proof is the same key that signed the drop. Sign these bytes, then call `curate` with them.
curate
A recorded act on one drop: `promoted` · `refused` · `withdrawn`. A name AND a reason are always required — no anonymous judgement, and a refusal without a reason teaches the community nothing. WHO MAY ACT: promoting or refusing needs the steward `token` (these decide what the whole library amplifies); withdrawing your own card needs `fields`+`signature` from `curate_signable` instead. A typed name is not authority. A refusal withholds amplification only — the drop stays on the member's own shelf. Acts are appended, never replaced.
moderation_signable
Step 1 of a report or a block: the exact canonical bytes to sign with your own key, on your own machine. Returns {fields, signable}. Sign the decoded `signable` bytes and pass BOTH fields and signature to `report`. The private key never travels.
want_open
Ask the library to ACQUIRE something it does not hold (kind=missing, give query) or to EXPAND a thin card (kind=expand, give card_id). Opens a want on the AGENT PLANE — held separate on the desk until the next human who looks seconds it by asking for the same thing. Call this only when your principal genuinely needs what the keeping lacks; the same miss asked twice is one want asked twice. No requester identity is stored; queries are scrubbed before storage.
wants_list
The library's desiderata desk — open wants, sorted by demand, agent plane marked and separate. Read it to find gaps you could dig for.
want_offer
Return to the comb with a FOUND source for an open want: label + url + snippet, attributed. You are a forager, not an author — offer only public-domain / openly-licensed sources you actually located, never generated text. The offer lands as a QUARANTINED option cell tagged with your agent label; a NAMED HUMAN chooses, and only then is a card created. There is no path around the comb.
report
Report a community item (group_contribution, mesh_message, door_note) to the moderation floor. One report is a claim, never a verdict; at three DISTINCT reporters the item is held for a HUMAN steward's review (Deut 19:15). The counter never judges — it decides when a person must look. A report must be SIGNED (call moderation_signable first): three witnesses means three keys, never three invented names.
attest_record
Bind your identity to a record you already hold — phase 2 of the sovereign flow. Do the thing unsigned (badges_issue, study_export, group_contribute), take the returned content_hash, sign THAT hash with your own key on your own machine, and submit only the attestation {alg, over, content_hash, pubkey, sig}. Never send a private key. Several parties may attest to one record: one signature is a claim, two or three witnesses begin to establish a matter (Deuteronomy 19:15).
witnesses
Who has borne witness to a record, each signature re-verified as it is read (storage is never trusted). Reports invalid entries rather than hiding them.
now
The actual current date and time, fresh at this call — UTC (the clock every seal is stamped in), the library's home zone, and optionally any IANA zone you name. Your own sense of 'today' is months old; this is the correction. Never cached; unresolvable zones are declared, never guessed at.
capabilities
The live capability statement: what this engine can verify, what tools and endpoints exist, how large the keeping is, and where its boundaries are. Every count is computed at call time and carries a 'means' line defining exactly what was counted — never a hand-maintained number. Read this instead of trusting any count written in prose.
kernel
THE GATE KERNEL — the law you keep here, in one call. The five moves (find, distinguish the KIND, verify what can be verified, preserve the trail, never silently upgrade authority), the eight-rule agent covenant, the six object KINDS, the authority lattice (quarantined < cited < verified), and the nine-field gate record. Read it before you write; a system error is never a false verdict, and only a witnessed, evidenced gate reaches 'verified'.
kernel_gate
Route ONE proposed state-change through the kernel and get back the verdict (REJECT / QUARANTINE / CONFIRMED) plus the nine-field record — so you can DISCERN before you write (covenant rule 8: stop when the evidence is incomplete). CONFIRMED needs a real verification that HELD, an INDEPENDENT witness (witness != author), and the wait; anything else quarantines. This decides and records only — it never persists and never replaces the signature / consent checks on the real write.
mesh_map
The believers immediately around you in the Fellowship Mesh — your view only, never a global map. Requires your fingerprint (fp) and a confession already bound to that key; unconfessed callers get the path to the door, not the network.
mesh_inbox
The messages that reached you, each carrying its own offline verification so you trust it by proof rather than by this server's word. Requires fp + confession.
mesh_door
Read the words left on YOUR door — the whiteboard others wrote to you, each with its verification. Requires fp + confession.
mesh_signable
Step 1 of speaking to your fellowship: get the exact canonical bytes to sign for a message (returned base64url, with the nonce and created_at to send back). Sign them locally with your own key. Reproducible offline — sorted-key JSON — so you can compute and check it yourself.
mesh_leave_on_door
Leave a word on one believer's door — directed encouragement rather than a post to everyone near you. Same sovereign shape: get the bytes from mesh_signable (with target), sign locally, send only the signature. Will not accept a private key; unsigned notes are refused.
mesh_post
Step 2: speak to the nodes around you, carrying only your SIGNATURE — your private key never leaves your machine and this tool will not take one. Pass the same text/kind/ttl plus the nonce, created_at and signature from mesh_signable. Refused unless the signature verifies against your node's public key. Your own words, attributed — never generated.
ask
Bring anything — a question, a claim to check, a word to study, or what is actually on your mind. The engine discerns what KIND of thing you brought and answers in kind: it finds and verifies, and declines rather than guessing. This is also the door: if what you ask turns toward God, the Gate opens for the rest of this session and the witness tools (Scripture, the Harmony, the Timeline, the lexicon) become callable — the same way it opens for a person, in your own words. Nothing is generated.
candidate_commit
Candidate Engine step 1 — commit a COMPLETE raw candidate set BEFORE any evaluation. Give the query, the generator, the method, and EVERY raw candidate; weights ride verbatim as UNTRUSTED metadata (proposal_weight is never confidence and never ranks anything). Returns the committed set: a content-addressed candidate_set_id, the membership commitment hash (also sealed as a durable anchor), and per-candidate ids — all born quarantined. Nothing is verified here; that is the point: a set hashed before checking cannot be selectively disclosed after.
candidate_narrow
Candidate Engine step 2 — narrow a COMMITTED set: verifiers are assigned under the fixed pre-registered routing policy (never your choice — that is what stops verification shopping), each routed claim runs through the deterministic moat, unroutable claims stay quarantined (held, never judged), and the FULL set — rejected and quarantined included — is sealed with its ordered trace. Refuses an uncommitted or altered set. Pass the set exactly as candidate_commit returned it.
candidate_get
Fetch a sealed candidate record (a narrowing receipt or a commitment anchor) by its content hash — the whole preserved path, losers included, re-checkable offline with tools/verify_seal.py. The seal proves process integrity, never truth.
resolve
Resolve a Scripture reference to its World English Bible text.
read_passage
Read a passage of the WEB — a single verse, a range (John 3:16-18), or a whole chapter (John 3).
word_study
Strong's word study — original-language definition + pronunciation + every occurrence.
cross_references
Verses connected to a reference by SHARED original words (Strong's) — the dots, connected; deterministic and found, ranked by shared-word count.
word_occurrences
Every verse where a Strong's word occurs (the concordance).
commentary
Public-domain, attributed commentary (Matthew Henry) on a reference — the commentator's own words, found and cited, never generated.
tsk_cross_references
Editorial cross-references for a verse (openbible.info, CC BY — expansion of the public-domain TSK), ranked by relevance votes. Found + attributed.
character_get
A Bible figure from Easton's Bible Dictionary (1897, PD) — summary + every verse that speaks of them (found + attributed; category tag is imperfect).
characters_browse
Browse/search Easton's Bible Dictionary (people, places, terms).
prophecy_traces
Christ-signpost traces (prophecy/cross-cultural pointers to Jesus) — attributed, verdict CONCORDANT/MIXED, NEVER HOLDS (a signpost, not a proof). Pass id for one trace, q to search, else lists all.
harmony
Harmony of the Gospels — one event of Christ's life, every gospel that records it, side by side (found, verbatim WEB text, never generated). Pass id for one event; else lists every event grouped by phase of the ministry.
timeline
Timeline — Old Testament, New Testament (Acts onward), and Church History, one spine from creation to today. Genuinely disputed dates (early/late Exodus, the date of Revelation, etc.) carry both positions, never one verdict. Pass id for one event; else lists every event grouped by era and period.
backmatter
Back-matter reference tables: weights_measures, names_of_god, parables, miracles, book_intros, topical_index. Disputes carried (a cubit's two lengths, a book's two datings), refs verified against the corpus, names of God carry Strong's numbers that open in word_study. Pass table for one table; else the index of all six.
bible_places
The Atlas — biblical places with REAL coordinates, honestly held: located places carry lat/lon (cross-checked against an independent gazetteer); disputed sites (Mount Sinai, Cana, Golgotha) NAME their candidates instead of planting one flag; unlocatable places (Eden, Emmaus, Tarshish, Ophir) are honest blanks with no coordinates. Pass name for one place; else all places with by_status counts.
narratives
The storyboards — the common narratives charted in the Bible FIRST (exile-and-return, the barren woman bears, down-to-the-pit-raised, the great reversal...), each instance real people with verified refs. The 17 movements are one shared vocabulary, so components isolate and recombine: pass movement='testing' to walk it across every storyboard. Pass id for one storyboard; else the index. FRAMING, always: a person may display characteristics of many of these at times of their life — a reference point, NEVER an identity assignment.
study_find
The quick-find index — ONE lookup across the whole reference section: archetypes, storyboards, movements, the six study tables, the atlas, harmony, timeline, and the encyclopedia. Each hit is a pointer to the real entry, which carries its own refs and its own honesty. The index finds; it never ranks truth.
original_words
The original-language words behind a verse (Hebrew/Greek, with Strong's where known) — FOUND in the lexicon, never generated. Pass ref, e.g. 'John 3:16'.
canon
The canon as concentric layers — the undisputed 66 that all major traditions share, plus the books held BEYOND it by particular traditions, each framed on its own layer and never merged. REPORTS who holds what with the history; does not judge which canon is correct. Pass book for one book's status; else the overview.
teachings
The teachings of Christ (Words in Red) — the frozen Greek anchor plus the history that ALIGNS to each teaching, gathered and attributed, never authored. Pass id for one teaching; else the queue.
seeds
Seeds of the Word (the Areopagus / logos spermatikos pass) — true fragments mined from the nations, ATTRIBUTED, CONCORDANT/signpost NEVER HOLDS; each names the idol it refuses and points to Christ (Acts 17; 1 John 4:1-3). Pass id for one seed, q to search, tradition to filter, else lists all with Paul's 7-step method.
Claude Desktop / Cursor
Paste into your MCP client config file to install this server.
{
"mcpServers": {
"concordance": {
"concordance": {
"type": "http",
"url": "https://narrowhighway.com/mcp"
}
}
}
}McpServers
{
"concordance": {
"type": "http",
"url": "https://narrowhighway.com/mcp"
}
}Language models generate; Concordance verifies. The verify tool checks a claim deterministically (no model in the loop) and returns HOLDS / BROKEN / INCOMPLETE with the worked reasoning and a sealed receipt (content_hash + cite_url) that re-fetches byte-identical or not at all. Also: ranked search over an ~11k-record library, seal_fetch to re-verify any receipt, redact to strip PII before text travels, and a sealed connection graph. Runs sovereign/offline too (stdlib-first Python). A public false-positive benchmark covers every domain: the engine has never sealed a falsehood. 38 tools live; remote endpoint at https://narrowhighway.com/mcp.
Sign in to leave a review
Use Google, GitHub, or an email account so ratings stay tied to real people.
No reviews posted yet.
