new1direction avatar

Korg Ledger

new1direction/korgex

This server exposes the verification and audit layer from korgex, the autonomous coding agent. It lets you prove a session ledger is tamper-evident: every event is hash-chained to the previous one, so any edit, deletion, or reorder breaks the chain and gets caught. You can verify a journal file with `korgex verify`, optionally using an HMAC key to make the chain tamper-proof. The server also lets you import and audit logs from other agents, checking for memory drift when a remembered fact no longer matches the sha256 baseline of its source. Reach for this when you need cryptographic proof that an agent's execution trace is intact, or when you're building multi-agent systems and need cross-agent audit trails.

GitHub stars
1
tools
23
transport
STDIO
env vars
2
last updated
May 29, 2026

Tools

23 tools

Public tool metadata for what this MCP can expose to an agent.

ReadRead a file.

Read a file.

No parameter schema in public metadata yet.

WriteCreate or overwrite a file.

Create or overwrite a file.

No parameter schema in public metadata yet.

EditSurgical string-replace in a file.

Surgical string-replace in a file.

No parameter schema in public metadata yet.

BashRun a shell command with timeout.

Run a shell command with timeout.

No parameter schema in public metadata yet.

BashOutputPoll a long-running background job.

Poll a long-running background job.

No parameter schema in public metadata yet.

GrepRegex content search.

Regex content search.

No parameter schema in public metadata yet.

GlobList files by pattern.

List files by pattern.

No parameter schema in public metadata yet.

AgentDelegate a sub-task to a sub-agent.

Delegate a sub-task to a sub-agent.

No parameter schema in public metadata yet.

OrchestrateRun a parallel DAG of sub-agents.

Run a parallel DAG of sub-agents.

No parameter schema in public metadata yet.

TaskCreateTrack multi-step work as a task list.

Track multi-step work as a task list.

No parameter schema in public metadata yet.

TaskUpdateUpdate a tracked task.

Update a tracked task.

No parameter schema in public metadata yet.

AskUserQuestionAsk a clarifying question with optional multiple-choice.

Ask a clarifying question with optional multiple-choice.

No parameter schema in public metadata yet.

SkillInvoke an installed skill.

Invoke an installed skill.

No parameter schema in public metadata yet.

ToolSearchDiscover tools at runtime by keyword.

Discover tools at runtime by keyword.

No parameter schema in public metadata yet.

WebFetchFetch a URL as clean text.

Fetch a URL as clean text.

No parameter schema in public metadata yet.

WebSearchSearch the web.

Search the web.

No parameter schema in public metadata yet.

RecallPull relevant facts from cross-session memory.

Pull relevant facts from cross-session memory.

No parameter schema in public metadata yet.

RetrievePull the exact bytes of a large tool result sealed to a content-ref.

Pull the exact bytes of a large tool result sealed to a content-ref.

No parameter schema in public metadata yet.

BusSendSend on the verifiable agent message bus.

Send on the verifiable agent message bus.

No parameter schema in public metadata yet.

BusInboxReceive on the verifiable agent message bus.

Receive on the verifiable agent message bus.

No parameter schema in public metadata yet.

pythonRun Python as the action, with tools available as functions.

Run Python as the action, with tools available as functions.

No parameter schema in public metadata yet.

NetCaptureAuditable HTTP(S) capture of an app you wrote.

Auditable HTTP(S) capture of an app you wrote.

No parameter schema in public metadata yet.

RemoteSignTipSign a ledger tip via a remote signer you control.

Sign a ledger tip via a remote signer you control.

No parameter schema in public metadata yet.

Sponsors

Configuration

KORG_JOURNAL_PATH

Path to the JSONL ledger journal (defaults to .korg/journal.jsonl).

KORG_LEDGER_HMAC_KEY

Optional HMAC key — makes the chain tamper-PROOF, not just tamper-evident.

Readme

korgex — the verifiable coding agent

PyPI version PyPI downloads Python versions CI tests MCP registry License: MIT

English · 简体中文 · 繁體中文


View the full README on GitHub

Details

Repository
github.com/new1direction/korgex
Category
AI & LLM Tools
Package
korgex
Transport
STDIO
Registry
MCP registry, active

More from new1direction

Related AI & LLM Tools MCP servers

View all
1agentra-commerce avatarXapagentra-commerce/xap-sdkAgent settlement protocol — discover, negotiate, settle, and verify with XAP.0stars
2pquattro avatarMemoraEUpquattro/memoraeu-memoraeu-mcpZero-knowledge persistent memory for Claude — encrypted, semantic search, EU hosted.0stars
3u2n4 avatarVEO 3.1u2n4/gemini-media-mcp4K video generation via Google VEO 3.1: text-to-video, image-to-video, video extension0stars
4ivanantigravity-lgtm avatarModel Council Mcp Serverivanantigravity-lgtm/model-council-mcp-serverThree-model MCP server returning Grok, Gemini, and DeepSeek outputs for Claude.1stars
5jayvee6 avatarApple Mail MCPjayvee6/apple-mail-mcpLLM access to Apple Mail and iCloud via AppleScript. Read, search, compose, reply, flag and delete.1stars
6joesaby avatarDoctree Mcpjoesaby/doctree-mcpBM25 search + tree navigation over markdown docs for AI agents. No embeddings, no LLM calls.1stars