A simple reasoner for linked data
A minimal Notation3 (N3) reasoner in JavaScript.
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
n8n community node: DeepSeek R1/Reasoner Chat Model with proper reasoning_content handling for tool calls. Fixes the 'Missing reasoning_content field' error when using AI Agent with tools. Connect this as the Chat Model sub-node to your AI Agent.
MCP server for Reasoner Context Spaces — upload documents, compress into cores, and chat with your knowledge
OML Reasoner binary for Linux x64
OML DL Reasoner powered by Openllet — platform-specific native binaries
A rule-based incremental reasoner for the Web.
Reasoner for Serialized Stage
EYE reasoner server
Is for now just a wrapper of https://www.npmjs.com/package/n8n-nodes-deepseek-reasoner
A rule-based incremental reasoner for the Web.
Simple Knowledge Reasoner
MCP Server for DeepSeek API integration - enables Claude Code to use DeepSeek Chat and Reasoner models
OML Reasoner binary for Windows x64
MCP Reasoner with multiple reasoning strategies including Beam Search and Monte Carlo Tree Search
A lightweight module containing core reasoner logic from HyLAR (https://github.com/ucbl/HyLAR-Reasoner.git)
RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
MCP Reasoner with multiple reasoning strategies including Beam Search and Monte Carlo Tree Search
RDF Reasoner EyeClient for EyeServer
OWL-DL tableau reasoning via Konclude compiled to WebAssembly. Async TypeScript API — pass an N3.js Store, get inferred triples back. Uses RDF.js Quad types throughout.
A private reasoner for your terminal. Direct conversation or grounded multi-agent research, GPU-native and fully local. No API keys, no inference servers.
OML Reasoner binary for Linux ARM64
OML Reasoner binary for macOS x64 (Intel)
Nostr-native dispute coordination daemon for the Mostro ecosystem
MCP server providing structured reasoning via Langbase Pipes - linear, tree, divergent, Graph-of-Thoughts, and decision framework modes
Neuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic
Parser for AI model reasoning/thinking outputs (chain-of-thought, etc.)
Rust bindings for the Growl OWL 2 RL reasoner
A rust program to ensure the quality of commit
Rust MCP server for auditable sequential and tree-of-thoughts reasoning, aligned with ReasonKit skills.
UserFacingError is an error crate that allows you to pretty print your errors and error chain for consumption by the end user. If you implement the UFE trait, the default implementation will let your print your error nicely to the TTY. There is also the UserFacingError type that most std Errors can be converted into, or that you can use directly.
A Rust library for processing and managing dataset-related files, with a focus on machine learning datasets, captions, and safetensors files
KODEGEN.ᴀɪ: Memory-efficient, Blazing-Fast, MCP tools for code generation agents.
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
A library for handling errors with reasons
Reasons over RDFS/OWL vocabularies to generate statements which are entailed based on base RDFS/OWL rules along with vocabulary information. It can also be used to ask specific questions, such as if a given object is consistent with the vocabulary ruleset. This can be used to implement SPARQL Entailment Regimes.
RDF::N3 is an Notation-3 reader/writer and reasoner for the RDF.rb library suite.
Convert a commit message into a reasonable description
A tiny class and command-line tool to generate reasonably secure passwords.
Read values from ENV in a reasonable way
Reasonable Rubocop configs.
Use user-agent string to reason about UX expectations. E.g. Should the Cancel button in dialogues be on the left or the right?
A reasonable lastpass CLI
Infer from the HTML5 input whether it's a fragment or a document, and if it's a fragment what the proper context node should be. This is useful for parsing trusted content like view snippets, particularly for morphing cases like StimulusReflex.
A Mizar Console with Sophisticated Reasoning Support
Convert CSV output of the filter of OPNsense to reasonable data.
Reasonable patches to log4r gem including root loggers having outputters and yaml configurator supporting many files and yaml sections.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.