Weber-GeoML/Choir
Can I trust it?
No red flags in our checks.
Stars from real accounts No data
We haven't checked its stars for fakes yet.
Active OK
Last change 5 days ago.
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.
From the GitHub description
An open protocol for distributed multi-agent autoformalization.
We haven't written this repo up yet. It gets a summary once it enters the radar's top.
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 Weber-GeoML/Choir in my project. Follow its README: https://github.com/Weber-GeoML/Choir. Explain each step and check it is safe before running anything.
Star curve
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,807 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.
[](https://repoalerts.com/repo/Weber-GeoML/Choir?ref=badge)Similar repos
- 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
- amosblomqvist/learnharness
A desktop and web app that uses AI agents to plan and teach lessons from the user's current understanding toward a goal. It asks for answers and reasoning, adapts each step, and stores propositions an
- YuJunZhiXue/dsh-purge
A plugin for the official DeepSeek Harness installed locally that applies prompt and policy patches for controlled red-team evaluation. It lets users swap prompts per model, separates host-layer restr
- GortexAI/franco
An outbound sales agent that runs locally on the user's machine using a Claude Code or Codex subscription instead of a model API. It works through account lists, drafts or sends approved email sequenc
- JoasASantos/REA-Prompts
A collection of prompts for the REA (Reverse Engineer Anything) toolset, which lets an AI coding agent inspect how software works, covering native binaries, firmware, games, Electron apps, APKs and we
- sourcepro5/WeChatAgent
Windows desktop assistant and console for WeChat that answers messages from allowlisted friends and group chats through a separately installed DSH session. Supports personas, web page reading, weather