Brainstorming
obra/superpowers
Makes the agent clarify intent and agree on a design with you before writing any code, scaling the process from a quick spike to a written spec.
Neuro-symbolic AI combining LLMs with symbolic solvers. An agent skill from sundial-org/skills.
Install Neuro Symbolic Reasoning
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install sundial-org/skills neuro-symbolic-reasoning --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .claude/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .claude/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoningType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install sundial-org/skills neuro-symbolic-reasoning --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .agents/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .agents/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install sundial-org/skills neuro-symbolic-reasoning --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .cursor/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .cursor/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/sundial-org/skills.git --path skills/neuro-symbolic-reasoning--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install sundial-org/skills neuro-symbolic-reasoning --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .gemini/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .gemini/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install sundial-org/skills neuro-symbolic-reasoningInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .github/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .github/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install sundial-org/skills neuro-symbolic-reasoning --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sundial-org/skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/neuro-symbolic-reasoning .opencode/skills/neuro-symbolic-reasoning && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "neuro-symbolic-reasoning" agent skill from https://github.com/sundial-org/skills/tree/main/skills/neuro-symbolic-reasoning into .opencode/skills/neuro-symbolic-reasoning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "neuro-symbolic-reasoning", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
neuro-symbolic-reasoning- GitHub stars
- 153
- Token cost
- ~369 tokens
- SKILL.md length
- 105 words
- Files
- 5 (incl. references)
- Skills in repo
- 13
- Repo updated
- First seen
- Licence
- None found
At a glance
Neuro-symbolic AI combining LLMs with symbolic solvers. An agent skill from sundial-org/skills.
- Exploring neuro-symbolic approaches (ideation
- SKILL.md covers Mode Detection, File Creation Policy, Core Pipeline and Solver Selection
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- Implementing solver integrations (code)
What it does
Neuro Symbolic Reasoning is an agent skill from sundial-org/skills. Neuro-symbolic AI combining LLMs with symbolic solvers. Use when exploring neuro-symbolic approaches (ideation, no code) or implementing solver integrations (code).
Its SKILL.md is about 370 tokens, which your agent loads only when the skill is triggered. The skill folder holds 5 other files, including reference files (for example `references/ideation.md`, `references/logic-llm.md` and `references/packages.md`).
It sits in Agent Workflows, covering Brainstorming. The repository describes itself as: Claude Code Skills by Sundial.
When your agent uses it
- Exploring neuro-symbolic approaches (ideation
- Implementing solver integrations (code)
Example prompts
- “/neuro-symbolic-reasoning”
What it can do on your machine
Read from SKILL.md and the folder at commit 5a3bf9f. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Neuro Symbolic Reasoning loads about 369 tokens when it runs, and up to ~1.8k if it reads all its reference files. Until then it costs about 47 tokens; SKILL.md has 105 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Without a licence we can't republish the file, so here is its outline and opening line. It has 105 words (~369 tokens).
“Detect user intent and route accordingly:”
- name
- neuro-symbolic-reasoning
Files
SKILL.md and 4 other files (references) in skills/neuro-symbolic-reasoning of sundial-org/skills.
- SKILL.md
- references/ideation.md
- references/logic-llm.md
- references/packages.md
- references/solvers.md
Open the folder on GitHubat commit 5a3bf9f
Compare with similar skills
Neuro Symbolic Reasoning next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Neuro Symbolic Reasoning this skillsundial-org/skills | 153 | — | ~369 | Automated safety check: Pass | None | |
| Brainstormingobra/superpowers | 297k | 1 repos | ~2.5k | Automated safety check: Pass | MIT | |
| Brainstormingxpinjection/test-driven-spring-boot | 112 | 53 repos | ~2.6k | Automated safety check: Pass | MIT | |
| Yao Meta Skillyaojingang/yao-meta-skill | 2.7k | — | ~768 | Automated safety check: Pass | MIT | |
| Typesafe AIOpenAgentsInc/openagents | 455 | 9 repos | ~2.5k | Automated safety check: Pass | MIT | |
| Trellis StartROYIANS/foliq-print-template-designer | 136 | 6 repos | ~646 | Automated safety check: Pass | MIT |
Similar skills
Brainstorming
xpinjection/test-driven-spring-boot
You MUST use this before any creative work - creating features, building components, adding functionality, or modifying behavior.
Yao Meta Skill
yaojingang/yao-meta-skill
Create, improve, or evaluate an existing skill from workflows, prompts, SOPs, scripts.
Typesafe AI
OpenAgentsInc/openagents
Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives.
Trellis Start
ROYIANS/foliq-print-template-designer
Initializes an AI development session by reading workflow guides, developer identity, git status, active tasks, and project guidelines from .trellis/.
Brainstorming Before Building
jnMetaCode/superpowers-zh
Turns a rough idea into an approved design before any code is written, sorting the request into spike, bounded or architectural and enforcing an approval gate.
More from sundial-org/skills
All 13 skills in this repoAI Co Scientist
sundial-org/skills
Transform Claude Code into an AI Scientist that orchestrates research workflows using tree-based hypothesis exploration.
Skill
sundial-org/skills
Find, install, create, improve, and publish AI agent skills through the Sundial ecosystem.
Skill To Card
sundial-org/skills
End-to-end workflow that creates a skill from a description and attached files, publishes it to Sundial as a private skill, generates a trading card (front + back with QR code), and sends it to a…
Commit Splitter
sundial-org/skills
Split large sets of uncommitted changes into logical, well-organized commits.
Tinker Training Cost
sundial-org/skills
Calculate training costs for Tinker fine-tuning jobs. An agent skill from sundial-org/skills.
Codex
sundial-org/skills
Run OpenAI's Codex CLI agent in non-interactive mode using codex exec.
Related
Categories
Questions about Neuro Symbolic Reasoning
What does Neuro Symbolic Reasoning do?
Neuro-symbolic AI combining LLMs with symbolic solvers. An agent skill from sundial-org/skills. Neuro Symbolic Reasoning is an agent skill from sundial-org/skills. Neuro-symbolic AI combining LLMs with symbolic solvers.
When should I use Neuro Symbolic Reasoning?
Neuro Symbolic Reasoning fits situations like: exploring neuro-symbolic approaches (ideation; implementing solver integrations (code).
How do I install Neuro Symbolic Reasoning in Claude Code?
Run `npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a claude-code`. Or copy the skill folder (skills/neuro-symbolic-reasoning in sundial-org/skills) into .claude/skills/neuro-symbolic-reasoning in your project. Claude Code loads it when a task matches its description.
How do I install Neuro Symbolic Reasoning in Codex?
Run `npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a codex`. Or copy the skill folder (skills/neuro-symbolic-reasoning in sundial-org/skills) into .agents/skills/neuro-symbolic-reasoning in your project. Codex loads it when a task matches its description.
Can I use Neuro Symbolic Reasoning in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add sundial-org/skills --skill neuro-symbolic-reasoning -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/neuro-symbolic-reasoning, .gemini/skills/neuro-symbolic-reasoning, .github/skills/neuro-symbolic-reasoning and .opencode/skills/neuro-symbolic-reasoning in your project.
What does Neuro Symbolic Reasoning need to run?
SKILL.md names no scripts, command-line tools or credentials: Neuro Symbolic Reasoning is instructions for the agent only.
Does Neuro Symbolic Reasoning access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Neuro Symbolic Reasoning safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Neuro Symbolic Reasoning use?
No licence was found for Neuro Symbolic Reasoning or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Neuro Symbolic Reasoning use?
About 369 tokens (SKILL.md is roughly 1.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 1.4k tokens, read only when the agent opens those files.
What are the alternatives to Neuro Symbolic Reasoning?
Skills that share tags, products or a category with Neuro Symbolic Reasoning: Brainstorming (obra/superpowers, 297k stars), Brainstorming (xpinjection/test-driven-spring-boot, 112 stars), Yao Meta Skill (yaojingang/yao-meta-skill, 2.7k stars) and Typesafe AI (OpenAgentsInc/openagents, 455 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Neuro Symbolic Reasoning?
sundial-org (a GitHub organization) maintains it in sundial-org/skills, which has 153 GitHub stars. The repository holds 13 skills in this directory. The repository was last updated on July 15, 2026.
Source: sundial-org/skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.