INDIVIDUAL MCP TOOL

get_contract_doc

Retrieve a specific contract document (README, SPECIFICATION, SCHEMA, EXAMPLES, GOVERNANCE)

okham.orgnone authenticationAvailability not checked

Input schema

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.okham-org]
url = "https://mcp.okham.org/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "okham-org": {
      "type": "http",
      "url": "https://mcp.okham.org/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: okham-org
Remote MCP URL: https://mcp.okham.org/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "okham-org": {
      "url": "https://mcp.okham.org/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "okham-org": {
      "type": "http",
      "url": "https://mcp.okham.org/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "okham-org",
  "transport": "streamable-http",
  "url": "https://mcp.okham.org/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

list_contracts — List all OKHAM contracts
get_okham_overview — Explain what OKHAM is, why it exists, how it works, and next steps (structured + renderedText)
get_agent_start_here — Agent onboarding bundle: recommended prompts/resources and next steps (structured + renderedText)
explain_contract — Explain an OKHAM contract for a given audience/detail level (structured + renderedText)
get_schema — Retrieve JSON Schema for a contract
get_example — Retrieve examples for a contract
search_docs — Search OKHAM documentation
resolve_term — Resolve a term from the OKHAM glossary