primo
primo is Primo: a paper-grounded SMT solver built from first principles. - primo-solver/primo. It is ranked #2343 on the AI Radar, in AI research, first seen 5 days ago and shared in 1 post (3.6k views).
GitHub - primo-solver/primo: Primo: a paper-grounded SMT solver built from first principles. · GitHub Skip to content Navigation Menu Sign in Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation primo Public Notifications You must be signed in to change notification settings Fork 1 ( 1 ) Star 7 ( 7 ) You must be signed in to star a repository About Primo: a paper-grounded SMT…
What people said about primo on X
Specialized AI-built mathematical software will change the way we do mathematics at scale
— @nasqret, 5 days ago · 66 likes · see the post
Alternatives to primo
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
primo in numbers
- Rank on the AI Radar: #2343 of 10425
- Shared in 1 post by 1 account: @nasqret
- 3.6k views on those posts
- First seen 5 days ago, last shared 5 days ago
- Pricing seen by AGK Intelligence: open source
- Market: AI research
FAQ
What is primo?
Primo: a paper-grounded SMT solver built from first principles. - primo-solver/primo It was first shared on X 5 days ago and is ranked #2343 on the AI Radar.
Is primo free?
It is open source.
Who shared primo?
1 account on X, including @nasqret, in 1 post totalling 3.6k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.3k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 17:44 UTC. Full method.