数学(小学到高中)、英语(三年级到高中)、初中物理的知识图谱:1644 个知识点、2403 条先修边、6723 道题,对齐课标,附自适应前置诊断。
- chinese
- curriculum
- diagnostic
- edtech
47,133 repositories indexed
1–7 of 7 · Most stars
数学(小学到高中)、英语(三年级到高中)、初中物理的知识图谱:1644 个知识点、2403 条先修边、6723 道题,对齐课标,附自适应前置诊断。
Open, source-backed catalog of computer-use agents: reviewed papers, GUI models, datasets, benchmarks, tools, and reusable JSONL/SQLite data.
FOREST is a research agent for long-horizon science, where evidence gets lost, errors compound, and goals drift. It explores ideas, reads literature, forms hypotheses, runs real experiments, analyzes results, revises paths, and builds a full paper—all in an editable graph you can inspect, branch, redirect, with claims and figures linked to evidence
An agent that compiles git maintenance chores into reusable programs, then decides whether to replay them by running checks rather than by guessing the task looks familiar
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
麦当劳配餐决策 Skill|1881 种搭配里算出三档最优解,并告诉你为什么不是另外那些。控卡、忌口、拼单 max-min 公平分配;LLM 不参与算钱,每个数字可追溯。