Socratic planning and shared-understanding sessions for pi.
Socratic Intelligent Tutor agent plugin for OpenCode
AI-powered recursive learning system with Socratic method and TDD practice
A Socratic learning system with literature review and curriculum building
Socratic project definition tool for Claude Code
Agent skill that runs a Socratic interview inside your coding agent — turning vague ideas into structured intent
Socratic AI teaching platform — learn anything through guided dialogue, visual canvas, and gamification
Claude Code 学习导师。任何概念、任何代码库，用提问引导你快速上手。学完自动生成要点，一键同步飞书。 / A Claude Code learning mentor that guides you through any concept or codebase via questioning. Key takeaways auto-sync to Feishu.
Socratic coding mentor CLI — hints only, never answers
Struggle AI — a Socratic coding mentor CLI that guides you through problems with questions, not answers.
A Socratic learning assistant - teaches by asking questions instead of giving answers. Works with Claude Code, OpenCode, Gemini CLI, and other AI agents.
Pathmode MCP Server — Build structured intent specs through Socratic AI conversation (zero-config), or connect to your Intent Layer for strategic context, dependency graphs, and implementation prompts.
Socratic guide and team orchestrator for quality product development
Socratic AI teaching platform — learn anything through guided dialogue, visual canvas, and gamification
A Socratic TypeScript/JavaScript code analyzer that asks questions instead of giving answers
Socratic-style problem-solving guidance for AI assistants - guides students to discover solutions through questioning
Mode system for Claude Code that flips default from code generator to mentor. Protects productive struggle via Socratic tiered hints.
MCP server that transforms homework cheating attempts into genuine learning through Socratic scaffolding
A Socratic AI assistant MCP server that guides users to think for themselves rather than providing direct answers
An AI apprenticeship — learn Claude by using Claude. Hands-on quests graded through Socratic dialogue. Teach-back challenges. Prompt battles. A rival named Alex. Spaced repetition. Real artifacts you keep.
Tacit knowledge is what makes an expert successful, but it is difficult to articulate such intuition, judgment calls, and the reasoning/thinking that underpins expertise. Socratize extracts them by interviewing you using the principle of Socratic dialogue
MCP server for multi-round AI brainstorming debates across multiple models
Hyperdimensional Decision Fabric - Intent-to-Outcome transformation engine using μ-operators
Learning system for Claude Code — avoids repeating mistakes across sessions
A dialog system for games in 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 dynamic module system and service framework for Rust.
A bevy plugin for dialog
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
Memorization through written repetition - Socrates is not amused
Scrapes user info from a cohort in Socrates
No description provided.
No description provided.