Batteries-included redux
Socrates component library.
Shared protocol definitions and constants for Socrates
socrates-container React component
preact plugin for socrates
An Ember addon for monorepo experiments.
Socrates Chrome Extension — context-aware learning companion (Manifest V3)
## Install
--
Socratic AI teaching platform — learn anything through guided dialogue, visual canvas, and gamification
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
An online dialectic teaching system, inspired by Socrates, George Pólya and Dan Friedman.
LLM-Augmented Declarative Execution
A minimal Notation3 (N3) reasoner in JavaScript.
Split a sentence to words.
Batteries-included redux
Wraps kafka-node to allow streaming out- and input
No description provided.
PrivateBoard · your private board meeting, on call. Local-first, multi-agent thinking amplifier.
AI-powered academic paper learning agent — analyze papers with Feynman, Simon, and First Principles methods
吞吐
A markup language for narratives
Learning modules — tutorials, references, and stories
给 AI agent 使用的可移植跨学科思维与生成工具包，提供 Markdown skills、deliverables、personas、methods、teams、voices 和 debates。
A dynamic module system and service framework for Rust.
Backward-chaining proof engine with Socratic hints
Validate and Extract information from National Identification Numbers.
The Formal Language Where Code Verifies Itself
The core traits and types in for the `socrates` library.
A simple launcher for `socrates` dynamic module system.
Z3-based static verification for Logicaffeine (requires Pro+ license)
A bevy plugin for dialog
A dialog system for games in rust
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
Safe Rust bindings to the Vampire theorem prover for first-order logic
A robust TPTP parser for Rust using winnow
A micro-framework for building stateful conversational bots.
Scrapes user info from a cohort in Socrates
Memorization through written repetition - Socrates is not amused