Popular repositories Loading

1. hermes-agent hermes-agent Public

   Forked from NousResearch/hermes-agent

   The agent that grows with you

   Python 1

2. MathyAgent MathyAgent Public

   Structured TypeScript math-solving agent with validated solution contracts, LaTeX rendering, graph specs, and verification workflow.

   TypeScript 1

3. USL USL Public

   Universal Semantic Language: a software semantic source language for the AI programming era

   TypeScript 1

4. DL-USL DL-USL Public

   1

5. dify dify Public

   Forked from langgenius/dify

   Production-ready platform for agentic workflow development.

   TypeScript

6. socratic-math-tutor socratic-math-tutor Public

   Forked from Windy3f3f3f3f/socratic-math-tutor

   SOCRATES: 基于工具增强与视觉感知智能体的数学教学系统

   Python