skydiscover plugin for Codex
AI-Driven Scientific, Algorithmic, and Systems Discovery
How to install skydiscover in Codex
1. Add the repo as a Codex plugin marketplace:
codex plugin marketplace add skydiscover-ai/skydiscover2. Install the plugin from it:
codex plugin add skysynth@skydiscoverThis repo ships a Codex marketplace file (.agents/plugins/marketplace.json). The first command adds it as a marketplace (Codex CLI reference); the second installs the plugin 'skysynth'. 'skydiscover' is the marketplace name from that file. Check the repo README too. Command format: Codex CLI reference.
What it contains
Plugins in this marketplace (1)
skysynth— /skysynth: coding agents build a system specialized for your workload, checked by tests or machine-checked proofs. Includes the /skysynth skill and the hook that runs the tests before anything is delivered. Codex plugins cannot ship the agent roles yet (Spec…
About this listing
skydiscover is a community plugin on GitHub by skydiscover-ai. Its README documents a Codex install and the repo ships a Codex plugin manifest. It passed the CodexStacks quality filter for repos found this way (at least 500 stars, pushed in the last 90 days, not a fork or a list). OpenAI hasn't reviewed it and we haven't tested it. From its files we found 1 plugin. It's one of 8 listings in the Scientific Research category (category assigned by CodexStacks from the repo's topics and description).
Stacks Weekly: every new Codex and Grok Build plugin, every Tuesday.
One short email for GrokStacks and CodexStacks readers, with each new plugin's install line and what it ships. Subscribe and get the free starter list: 20 Codex plugins worth installing first.
You'll get a confirmation email first. Unsubscribe anytime.
skydiscover FAQ
How do I install skydiscover in Codex?
Add the repo as a Codex plugin marketplace with codex plugin marketplace add skydiscover-ai/skydiscover, then install it with codex plugin add skysynth@skydiscover. Commands: the command format from the Codex CLI reference; check the repo README too.
Is skydiscover an official Codex plugin?
No. skydiscover is a community repo on GitHub by skydiscover-ai. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it and we haven't tested it, so read the code before you install it.
What does skydiscover include?
From its manifest and repo files, skydiscover includes 1 plugin: skysynth.
Details
- Type
- Plugin
- Category
- Scientific Research (assigned by us)
- Source
- Community
- Author
- skydiscover-ai
- License
- Apache-2.0
- GitHub stars
- 717 (at last sync)
- Last push
- 2026-09-14
- Manifest
.agents/plugins/marketplace.json- Source
- https://github.com/skydiscover-ai/skydiscover
- Website
- https://skydiscover-ai.github.io/
- Listed via
- GitHub search: README documents a Codex install
- Tested by CodexStacks
- Not yet
Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.
For maintainers: badge and embeds
Maintain skydiscover? Add the badge; it links to this page.
Markdown
[](https://codexstacks.com/p/skydiscover/)HTML
<a href="https://codexstacks.com/p/skydiscover/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>Embed card (static HTML and inline CSS, no JavaScript). Preview:
<a href="https://codexstacks.com/p/skydiscover/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">skydiscover</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin · 1 plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">AI-Driven Scientific, Algorithmic, and Systems Discovery</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>Markdown summary
**[skydiscover on CodexStacks](https://codexstacks.com/p/skydiscover/)**: Community Codex plugin with 1 plugin.More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.
Also in Scientific Research
arXiv MCP Server
Search arXiv, read bounded full text and original LaTeX, follow citations, and monitor research topics through MCP.
simulink-agentic-toolkit
The Simulink Agentic Toolkit gives your AI agent both the tools and the expertise to work effectively with Simulink and Model-Based Design.
matlab-agentic-toolkit
The MATLAB Agentic Toolkit brings proven MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
biomcp
BioMCP: Biomedical Model Context Protocol
AutoSciRub
Learning to Evaluate Before Improving: Automatic Rubric Induction for Automatic Research Agents
KERNEL
KERNEL is a Claude Code and Codex runtime for direct, decomposed execution with local memory and minimal hooks. Version 9.11.0 deploys the simplify deletion doctrine, preflight and verifier contract. Skills invoke as /kernel:<name> on Claude Code and $kernel:<name> on Codex; run /kernel:help first. Agent-readable summary: llms.txt.