io.github.Eno654/oxyo-mcp
up checked
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
Oxyo (oxyo.si) — Cut Coding Agent Token & Quota Burn by up to 72%
Publisher-provided description
Cuts coding agent token burn up to 72% continuously via contradiction-free memory & verification.
Install
Claude Code, remote (streamable-http)
claude mcp add --transport http oxyo https://oxyo.si/mcp
Claude Code, pypi package (stdio)
claude mcp add oxyo -- uvx oxyo-mcp
Codex, remote (streamable-http)
codex mcp add oxyo --url https://oxyo.si/mcp
Codex, pypi package (stdio)
codex mcp add oxyo -- uvx oxyo-mcp
Cursor, remote (streamable-http) → .cursor/mcp.json
{
"mcpServers": {
"oxyo": {
"url": "https://oxyo.si/mcp"
}
}
}Cursor, pypi package (stdio) → .cursor/mcp.json
{
"mcpServers": {
"oxyo": {
"command": "uvx",
"args": [
"oxyo-mcp"
]
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Tools (15 tools)
Publisher-provided text
oxyo_session_packOne-call cold-start session capsule (<350 tokens): returns active contradiction-free project/global beliefs, recent actions, causal bug warnings, and verified soxyo_recallSearch persistent Oxyo memory: surgical episodic snippets, active contradiction-free beliefs (zero-noise filtered), cause-effect chains, and verified Python skioxyo_remember_episodeStore an experience, architectural decision, or observation with dynamic neural salience.oxyo_remember_beliefPersist a durable fact, rule, or user preference. Deduplicates paraphrases and supersedes contradicted older 1:1 claims while keeping 1:N additive facts intact.oxyo_belief_revisionsInspect the immutable audit trail of superseded contradictions vs current truth.oxyo_causal_recordRecord or reinforce a directed cause-effect link in Oxyo's causal graph.oxyo_causal_inferRun causal reasoning across Pearl's Ladder: multi-hop `intervene`/`diagnose`, graph-mutilated `do_calculus`, Rung-3 `counterfactual` (Abduction-Action-Predictiooxyo_verify_pythonExecute pure Python math/algorithmic verification inside Oxyo's isolated sandbox (with optional AST-driven adversarial boundary fuzzing & invariant checks). Assoxyo_skill_registerRegister a reusable (and optionally compositional) Python function after verifying 100% of its test cases.oxyo_skill_invokeList or execute a verified Python skill from private or collective Oxyo library.oxyo_consolidateRun zero-LLM hippocampal memory consolidation to archive redundant episodes and promote recurring patterns.oxyo_goalManage persistent multi-session Long-Horizon Goal DAG: create goals, decompose sub-goals, query next unblocked actions, and update status with automatic Causaloxyo_sleep_abstractConsolidate verified execution traces into tested, reusable functions in your persistent skill vault and compact episodic memory.oxyo_prove_constraintsRun exact zero-LLM symbolic constraint solving (`satisfy` + `minimize`/`maximize`) or universal invariant theorem proving (`prove`: verifies `assumptions => claoxyo_self_play_distillRun autonomous self-play problem verification and curated trace export.
Changes
Newest first, as lookupd saw them
- : version 1.2.3 → 1.2.4
- : description changed
Details
- Version: 1.2.4
- Transports: streamable-http, stdio
- Uptime (7 days): 100%
- Median latency: 546 ms
- First indexed:
- Last seen in registry:
- Repository: https://github.com/Eno654/oxyo-mcp
- Website: https://oxyo.si
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/io.github.Eno654/oxyo-mcp)
- 62092 servers
- Last crawl: 2026-11-11T17:38:11.606Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp