AI Agent Skills

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…

This skill should be used when modeling agent mental states with BDI concepts: beliefs, desires, intentions, RDF-to-belief transformations, rational agency traces, cogni…

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

A playground for neuro-san

[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

Physical Symbolic Optimization

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

[ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models

High-Performance Symbolic Regression in Python and Julia

Fast symbolic computation, code generation, and nonlinear optimization for robotics

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environm…

Premium brand-kit image generation skill for creating high-end brand-guidelines boards, logo systems, identity decks, and visual-world presentations. Trained for minimal…

A modern Windows file organization tool with symbolic link support

PDDLStream: Integrating Symbolic Planners and Blackbox Samplers

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…