RepoAlerts
SponsorGet alerts

openmathmodel/open-math-harness

Agent

Get alerts like thisView on GitHubWebsiteShare on X

Can I trust it?

Worth a closer look before you use it.

  • Warnings Check

    Very new: it was created 2 days ago. Wait a little before installing it.

  • Stars from real accounts No data

    We haven't checked its stars for fakes yet.

  • Active OK

    Last change today.

  • Licence OK

    Apache-2.0: you can use it for free, also in a commercial product. Keep the licence notice.

Quick checks from public data. They help, but they are no guarantee.

What it is

Open-source Rust runtime for Open Math OS, with a capability-based microkernel, agents on open models, parallel proof search and proofs checked by Lean. Agents propose, and mathematicians decide. Some components depend on the Open Math OS deployment environment.

Who it's for

Developers and researchers working on collaborative math research tools, agent runtimes or Lean-based proof search

How to use it

Ask your AI to set it up

Paste this into Claude, ChatGPT or your coding assistant.

Help me install and set up openmathmodel/open-math-harness in my project. Follow its README: https://github.com/openmathmodel/open-math-harness. Explain each step and check it is safe before running anything.

Read the README

Star curve

143From 0 to 143 stars between 22 Oct 2026 and 24 Oct 2026.

Get alerts for repos like this

We'll email you when something in AI agents starts rising. Free, once a week, only what matches.

19,794 GitHub repos watched and ranked every hour. Figures as of 24 October 2026.

What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy

For maintainers

Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.

[![openmathmodel/open-math-harness on RepoAlerts](https://repoalerts.com/badge/openmathmodel/open-math-harness.svg)](https://repoalerts.com/repo/openmathmodel/open-math-harness?ref=badge)
Share on X
  • GCWing/OpenBitFun

    A desktop agent workspace built on a Rust agent runtime. It offers four agent harness modes for planning, tool calls and coordination, lets you control other computers and your phone remotely, build M

    AppAI agentsRust · 3,188 stars · +374 this week · 264 days old

  • siglake/siglake

    Open-source log and trace analytics that collects OpenTelemetry data, stores it as Parquet in Apache Iceberg tables on object storage, and allows querying with SQL. Built in Rust on DataFusion, with s

    AppDev infrastructureRust · 473 stars · +472 this week · 17 days old

  • abcampbel/open-bots

    Open-source TypeScript project providing four AI agents that search the web, read pages, run code in an isolated sandbox, call public APIs, pay for services and sign up on websites. Runs hosted or ful

    AppAI agentsTypeScript · 90 stars · +90 this week · 4 days old

  • google-research/harness2

    A Python framework for recursive agent harnessing, which refines the prompts, tools, memory, skills and orchestration around a fixed model. It runs a propose-probe-compose loop per task and keeps a pe

    AgentAI agentsPython · 18,784 stars · +17,458 this week · 18 days old · HN 80 pts

  • Graphicle-AI/graphicle

    Rust command-line tool and MCP server that builds a code graph of a repository with tree-sitter, stores project docs, reviewed decisions and past agent sessions in one local SQLite file, and returns c

    AI agentsRust · 351 stars · +123 this week · 10 days old · HN 48 pts

  • OpenSparX/MasterAgent

    A C++17 agent runtime that matches exact-phrase skills before any model call and validates tool names and arguments before executing them. It can use an explicitly configured local model server, and o

    AI agentsC++ · 416 stars · 75 days old