ai-for-science
10 projects share this GitHub topic
Lines connect members that are measurably related to each other. Dot size reflects stars.
🧬 Members
open-science
The open-source AI research workbench for scientific research and agent workflows. Local-first,…
★ 5.4k
Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and…
★ 2.9k · GitHub ↗
open-science
Open Science Desktop — local-first, model-agnostic AI research workbench for macOS, Windows & Linux.…
★ 2.1k
ToolUniverse
Democratizing AI scientists with ToolUniverse
★ 1.7k
wisp-science
Open-source, local-first desktop AI research workbench for scientific computing with Python/R, MCP…
★ 996
AutoScientists
AutoScientists: Self-Organizing Agent Teams for Long-Running Scientific Experimentation
★ 786
OneResearchClaw
Any research. One Claw. 🦞 From any materials to research with fully autonomous & skill-driven researcher.
★ 443
Curie
❓Curie: Automated and Rigorous Scientific Experimentation with AI Agents
★ 370
targetdiff
The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity…
★ 344
MoleCode
Molecode presents molecules as code and enables LLMs to operate and reason on chemistry directly.
★ 305 · GitHub ↗
🔗 Related families
Measured from GitHub topics shared by both projects, weighted by how rare each topic is.