vitela-bridge
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@vitela-bridgeRun the ExactTeX check and propose a fix for any errors."
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
vitela-bridge
The agent bridge for Vitela, the editor for ExactTeX.
It is a small program that runs on your machine. Your coding agent talks to it over the Model Context Protocol (MCP); it talks to the Vitela tab open in your browser. Every tool the agent calls runs inside that tab — the project, the compiler and the TeX engine are all there — and the answer comes back. Nothing leaves your machine.
One rule makes it safe to hand an agent the keys: the agent never edits text. A change it proposes lands
in your document as an ExactTeX revision, signed agent, that you accept or reject in Vitela's review margin
like any other suggestion.
The full guide, with screenshots: https://vitela.artificialfallibility.com/agent.
Install
Node 20 or newer. No install step: npx fetches and runs it.
Claude Code
claude mcp add vitela-bridge -- npx -y github:camilochs/vitela-bridgeCodex
codex mcp add vitela-bridge -- npx -y github:camilochs/vitela-bridgeCursor, Windsurf, Zed, Claude Desktop and other MCP clients — add to the client's MCP configuration:
{
"mcpServers": {
"vitela-bridge": {
"command": "npx",
"args": ["-y", "github:camilochs/vitela-bridge"]
}
}
}Related MCP server: cursor_worker
Pair
Start your agent. The bridge starts with it and prints a six-digit code; ask the agent for it (the
bridge_statustool returns it).Open Vitela, press Agent in the header, type the code. The card says Connected.
Work. The agent reads the project, runs the check, compiles, verifies the bibliography, and proposes changes you accept or reject in the margin.
The code changes every time the bridge starts. A reload of the tab keeps the pairing.
Tools
Tool | What it does in the tab |
| Whether a tab is paired, and the pairing code |
| The projects in the tab; switch to one |
| The open project's files and assets; read one |
| The ExactTeX check: diagnostics, coverage, bibliography state |
| Compile to PDF; page count and diagnostics |
| The document's external claims; verify them against the public registries and write the dated record |
| The submission report's data |
| Propose an addition, deletion or substitution as a revision the author accepts or rejects. Signed with the client and version (read from the MCP handshake) and the |
| Pending revisions and their authors |
Configuration
Variable | Default | Meaning |
|
| The local port the tab connects to |
|
| Bind address. |
| random | Fix the pairing code (tests) |
The tab connects to the bridge on the machine that serves the page for a plain-http dev server, and on
127.0.0.1 for localhost and for the published site.
License
MIT.
If the bridge is useful to you, a star on this repository helps others find it — and tells us it is worth the care.
This server cannot be installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Connectors
Remote MCP learning coach for coding agents.
Roadmap, tasks, releases and user feedback your coding agent reads and writes over MCP.
MCP-native collaborative markdown editor with real-time AI document editing
Coordinate coding agents through MCP using existing AI plans, saved work, and independent checks.
Related MCP Servers
- AlicenseNot gradedqualityAmaintenanceProvides bounded repository context and edit-grant MCP tools to coding agents such as Codex, indexing local repositories and enabling fingerprint-checked patch application.13Apache 2.0
- FlicenseNot gradedqualityBmaintenanceBridges MCP to Cursor Agent via ACP, allowing Codex to delegate file edits and shell commands to Cursor for repository modifications, with security defaults.
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to access live VS Code editor state, symbol navigation, diagnostics, and language-aware editing through MCP, bridging the gap between what the agent can infer from disk and what the editor actually knows.MIT
- AlicenseNot gradedqualityAmaintenanceEnables coding agents to run project-specific checks, replays, simulations, and queries as MCP tools, providing ground-truth feedback on config edits instead of guessing.1MIT
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/camilochs/vitela-bridge'
If you have feedback or need assistance with the MCP directory API, please join our Discord server