Add Reasoning Core to community environments

[sileod]

Adds the Reasoning Core environment to the community catalog.

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Verdict: Approve ✅

Two-tier review of this docs-only change (docs/source/environments.md, +8/-0).

Tier 1 — Bugs / correctness / lint

No issues. The new Reasoning Core card is a faithful structural match for the existing community catalog cards:

• Same card classes (border dark:border-gray-700 p-5 rounded-lg shadow), title/description structure, and flex gap-2 mt-3 link row as the RLVE Gym entry directly above it.
• Both a 📄 Docs and 🤗 HF link are provided, well-formed, and pointing at the same Space (reasoning-core/reasoning-core-openenv).
• Correctly placed inside the existing md:grid md:grid-cols-3 container; HTML nesting is balanced.

Tier 2 — Alignment with OpenEnv principles

No concerns. This only adds an entry to the community catalog. No source changes, no API/agent-infrastructure boundary touched, no invariants affected. The description (formally verifiable symbolic reasoning tasks) is consistent with an external community environment.

Clean addition — thanks for contributing it.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Tier 1 — Bugs & Lint

No issues. Docs-only, additive change. The new Reasoning Core card is well-formed HTML and structurally identical to the sibling community-environment card (RLVE Gym) immediately above it on main: same <div class="border dark:border-gray-700 p-5 rounded-lg shadow"> wrapper and the same 📄 Docs + 🤗 HF button pattern, with the Docs link pointing at the Space's README.md (matching RLVE Gym's convention).

Tier 2 — Alignment

No concerns. Pure addition to the community catalog — touches no code, APIs, or invariants. No RFC needed.

Verdict: approve ✅

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Review: Add Reasoning Core to community environments

Thanks for the contribution! Reviewed against the PR's base (main).

Tier 1 — mechanical: Clean. The new card is byte-for-byte consistent with the existing Community Environments cards on main (e.g. the RLVE Gym card directly above it): same outer border dark:border-gray-700 p-5 rounded-lg shadow wrapper, font-bold mb-2 title, text-sm description, and the flex gap-2 mt-3 button row with 📄 Docs + 🤗 HF links using the shared !no-underline ... link classes. HTML is well-formed and sits correctly inside the md:grid-cols-3 grid. Both links point at the reasoning-core/reasoning-core-openenv Space (README for Docs, Space root for HF), matching the established convention.

Tier 2 — alignment: No concerns. This is a docs-only addition to the community catalog and follows the existing external-HF-Space pattern (same as RLVE Gym). No bearing on any OpenEnv invariant.

LGTM. (Note: the PR is currently BLOCKED on required checks/branch protection, not on review.)

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Thanks for the contribution, @sileod — Reasoning Core is a great addition to the community catalog!

Tier 1 (correctness): The new entry is well-formed and matches the existing format of docs/source/environments.md on main exactly — same raw-HTML card markup as the neighboring RLVE Gym entry (<div class="border ..."> with 📄 Docs / 🤗 HF links). Both links are structurally valid (README blob + Space root), mirroring the established pattern. No toctree entry is needed for community entries.

Tier 2 (alignment): No concerns. Adding community environments to this catalog is an established practice and the change is documentation-only — no code or architectural impact.

One non-blocking heads-up: there is in-flight work to migrate this page from raw-HTML cards to Sphinx {grid-item-card} directives. If that lands first you may hit a rebase conflict, but as authored against main today this is correctly formatted.

Verdict: approve.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Alignment Review (automated)

Tier 1 (bugs/lint): None. The new Reasoning Core card is well-formed HTML and matches the immediately-preceding RLVE Gym card in the community catalog exactly — same wrapper (<div class="border dark:border-gray-700 p-5 rounded-lg shadow">), same font-bold mb-2 title, text-sm description, and flex gap-2 mt-3 button row with the 📄 Docs + 🤗 HF anchor pattern. Tags are balanced and both links are well-formed. The blob/main/README.md docs link follows the same convention RLVE Gym already uses for community envs without a separately-hosted docs page.

Tier 2 (alignment): None. Pure documentation catalog addition — no code, API, or invariant impact (agent isolation, rewards-in-environment, client/server separation all untouched). Consistent with the established community-environment convention.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Thanks for contributing the Reasoning Core environment! There's a blocking issue: this PR is based on a stale version of docs/source/environments.md and uses a card format that no longer exists on main.

Tier 1 (correctness):

• The diff adds a raw-HTML card (<div class="border … p-5 rounded-lg shadow">…</div>). But main no longer uses raw-HTML cards anywhere in this file — the catalog was migrated to Sphinx-Design MyST grid-item-card directives. The diff's context lines (the RLVE_Gym raw-HTML card around line 276) don't exist in current main; they were replaced. As written, this will conflict on rebase and, if forced in, would inject raw HTML that won't render as a card.
• The community catalog now lives under the ## Community Environments section (around lines 572–597) inside a `````{grid} 1 2 3 3 block, with a single existing card (RLVE Gym).

To fix: rebase onto current main, then add the Reasoning Core entry as a MyST card inside the Community Environments grid (just before its closing ````` at line 597), modeled on the RLVE Gym card:

````{grid-item-card} Reasoning Core
:class-card: sd-border-1

Formally verifiable symbolic reasoning tasks across logic, mathematics, planning, syntax, and related procedural domains.

+++
```{button-link} https://huggingface.co/spaces/reasoning-core/reasoning-core-openenv/blob/main/README.md
:color: primary
:outline:

{octicon}`file;1em` Docs
```
```{button-link} https://huggingface.co/spaces/reasoning-core/reasoning-core-openenv
:color: warning
:outline:

🤗 Hugging Face
```

**Tier 2 (alignment):** No concerns — this is a purely additive, docs-only entry pointing at an external HF Space. The description is factual and consistent in tone with the existing card; nothing else is altered.

Verdict: **request changes** — content is welcome, just needs to be rebased and reformatted to the current MyST card pattern.


---
*Automated review by Claude Code | [Learn more](https://github.com/meta-pytorch/OpenEnv/blob/main/CLAUDE.md)*

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Alignment Review

Thanks for the contribution! 🎉

Automated checks (changed files): Lint PASS (docs only) | Debug code CLEAN

Tier 1 — bugs / correctness

None. The new Reasoning Core card is added inside the ## Community Environments grid and matches the existing RLVE Gym sibling card on main exactly:

• same wrapper <div class="border dark:border-gray-700 p-5 rounded-lg shadow">
• same title / description structure
• same link convention (📄 Docs → HF Space README.md, 🤗 HF → the Space)
• tags balanced; inserted before the grid's closing </div></div>.

Tier 2 — alignment

None. Docs-only catalog addition. The Community Environments section intentionally links to external HF Spaces (rather than an in-repo environments/*.html docs page), which is consistent with how RLVE Gym is catalogued — so no local docs stub is required here.

Verdict: approve — renders consistently with the surrounding community catalog; safe to merge once CI passes.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Adds a "Reasoning Core" card to the Community Environments section of docs/source/environments.md. Verified against the file at this PR's head: the new card matches the structure and CSS classes of the neighboring RLVE Gym card exactly (border dark:border-gray-700 p-5 rounded-lg shadow, font-bold mb-2 title, text-sm description, flex gap-2 mt-3 link row). Tags are balanced and the Docs/HF links point to a well-formed HF Space URL (reasoning-core/reasoning-core-openenv). Consistent with the existing raw-HTML card layout used throughout this file. Docs-only change with no code or invariant impact.

Verdict: approve

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Thanks for contributing to OpenEnv, @sileod! This is a clean, well-formed addition.

Structural Review

The new Reasoning Core card is consistent with its sibling (RLVE Gym) across every dimension:

• Outer <div class="border dark:border-gray-700 p-5 rounded-lg shadow"> — exact class match
• Title <div class="font-bold mb-2">, description <p class="text-sm">, button row <div class="flex gap-2 mt-3"> — all match
• Anchor classes — exact match
• Div balance is correct; the block is well-formed

Links

• Docs link uses the /blob/main/README.md suffix, matching the RLVE Gym card's pattern (HF Space README viewer) — reasonable for a community env without a dedicated docs page.
• HF Space link is well-formed.

Tier 1: No issues. Tier 2: No concerns — docs-only catalog entry, no code/API/invariant implications.

Looks good to merge once CI passes.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Alignment Review Report

Tier 1: Bugs / Lint

None. The new "Reasoning Core" card in docs/source/environments.md is structurally identical to the existing community-environment cards (e.g. RLVE Gym): same outer/font-bold/text-sm/flex gap-2 mt-3 classes, same 📄 Docs and 🤗 HF link styling, same huggingface.co/spaces/<org>/<repo> URL pattern. Div nesting opens and closes cleanly.

Tier 2: Alignment

Docs-only addition of a community environment link — no code, API, or invariant implications.

Non-blocking note: the Docs/HF links point to external Spaces (huggingface.co/spaces/reasoning-core/reasoning-core-openenv) that can't be verified from CI. This is consistent with how other community cards are handled; link validity is the contributor's responsibility.

Verdict: approve — clean, consistent community-catalog addition.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Verdict: approve

Docs-only addition of a "Reasoning Core" card to the Community Environments catalog in docs/source/environments.md.

Tier 1

• The new card uses the same raw-HTML structure (<div class="border dark:border-gray-700 p-5 rounded-lg shadow"> + 📄 Docs / 🤗 HF button links) as the existing community card (RLVE Gym) directly above it on current main. Markup is consistent and well-formed.

Tier 2

• Standard, expected community-catalog addition. No server/client boundary touched, no invariants affected, no RFC needed.

Note

• I could not verify the external Hugging Face links resolve (no network access during review). The merging maintainer may want to spot-check that https://huggingface.co/spaces/reasoning-core/reasoning-core-openenv and its README link are live.

Looks good.

---

Automated review by Claude Code | Learn more

[Darktex]

Note: This is an automated review by Claude Code, not a human review.

---

Tier 1 (Bugs & Lint): The new Reasoning Core card matches the established community-catalog card markup exactly — same Tailwind classes (border dark:border-gray-700 p-5 rounded-lg shadow, font-bold mb-2, the 📄 Docs / 🤗 HF link buttons) and the same structure as the neighboring RLVE Gym card. Links are well-formed. No build risk.

Tier 2 (Alignment): None — a purely additive community-environment catalog entry. Content and links are appropriate.

Clean docs addition. LGTM.

---

Automated review by Claude Code | Learn more