
Korg Ledger
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 toolsPublic 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_PATHPath to the JSONL ledger journal (defaults to .korg/journal.jsonl).
KORG_LEDGER_HMAC_KEYOptional HMAC key — makes the chain tamper-PROOF, not just tamper-evident.
Readme
Details
- Repository
- github.com/new1direction/korgex
- Category
- AI & LLM Tools
- Package
korgex- Transport
- STDIO
- Registry
- MCP registry, active