A stop hook that runs a Julia formatting check when the coding agent finishes a response. Julia is a programming language, and formatting checks keep its source code consistently styled.

Use it in a Julia project to run the repository's development formatter across the codebase after agent work.

It automatically checks formatting at the end of a session, while reporting when the check could not run.

codex-cli — MCP server by xiaolai

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods

npx agentmods add mcp/xiaolai/claudepot-app/codex-cli

Clone the repo

git clone --depth 1 https://github.com/xiaolai/claudepot-app

Made for: Claude Code, Codex, Cursor, Gemini CLI, OpenCode.

Per session not measured What this adds to a session before it is invoked.

When invoked not measured Not applicable: nothing here is loaded into a session.

Security scan A 0 findings. Scan, not verified.

Origin 100% copy Near-identical to another mod in the catalogue.

Security

Grade A, and why

codex-cli scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

This is a copy

100% identical to codex-cli — 0 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

.mcp.json · 9 lines

What it actually says

{
  "codex-cli": {
    "type": "stdio",
    "command": "codex",
    "args": [
      "mcp-server"
    ]
  }
}

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

2d ago First seen · 9 lines scan A 7c438b6073af

Subscribe to this mod's changes

codex-cli is an MCP server published in the GitHub repository xiaolai/claudepot-app (118 stars, last pushed 3d ago), licensed ISC. Its token cost is not measured: an MCP server costs its tool schemas, not its config file. A static security scan graded it A with 0 findings. It is 100% identical to codex-cli, differing in 0 lines, and is treated as a copy.

Learning and teaching ai claude tutorial vibe vibe-coding

codex-cli

Getting it into your agent

Grade A, and why

Nothing flagged

This is a copy

What it actually says

What this file has done since we first saw it

Other mcp servers, from other repositories

decision-mcp-server

open-video-guide

unsplashx

cookie-jar-live

cookie-jar-local

server-mcp