Synalinks
SynaLinks
From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning bes…
CodingReview before use
440GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Search retrieves candidates across the registry and ranks a bounded shortlist by task fit. This count is matching candidates, not the registry total. No suitable match? Try a specific tool or task.
Results · “neuro-symbolic”
1–16 / 21
More filters
Results: 21
bdi-mental-states
muratcankoylan
This skill should be used when modeling agent mental states with BDI concepts: beliefs, desires, intentions, RDF-to-belief transformations, rational agency traces, cogni…
AutomationClaude Code
17.9KGitHub
LNN
IBM
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Ml AutomationReview before use
320GitHub
Nucleoid
NucleoidAI
Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning
ResearchReview before use
750GitHub
526GitHub
LLM SR
deep-symbolic-mathematics
[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
Agent FrameworksReview before use
256GitHub
2KGitHub
Pakala
palkeo
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
SecurityReview before use
343GitHub
Llm Srbench
deep-symbolic-mathematics
[ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models
Agent FrameworksReview before use
111GitHub
PySR
MilesCranmer
High-Performance Symbolic Regression in Python and Julia
Ml AutomationReview before use
3.6KGitHub
Symforce
symforce-org
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Robotics IotReview before use
1.6KGitHub
Hedgehog Lab
Hedgehog-Computing
Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environm…
2.4KGitHub
NeatShift
BytexGrid
A modern Windows file organization tool with symbolic link support
Productivity AutomationReview before use
569GitHub
Pddlstream
caelan
PDDLStream: Integrating Symbolic Planners and Blackbox Samplers
Robotics IotReview before use
478GitHub
evomath-tao
CamusGIT
Use this skill whenever the user submits a non-trivial mathematical claim that needs a rigorous proof or audit. Trigger on IMO/Putnam/USAMO/Olympiad-style problems, ML/A…
212GitHub
AutoNode
TransformerOptimus
AutoNode: A Neuro-Graphic Self-Learnable Engine for Cognitive GUI Automation
Ml AutomationBlocked
297GitHub
External platform skills
Browse external directory →Owner-curated external sources. Not filtered by the scores or compatibility controls above; excluded from GitHub rankings and automatic installation.
No external entries match this query.