[upstream-sync] README.md from ai-boost/awesome-ai-for-science@d57c2d50 [catalogue]

Reviewed-on: #83

upstream/ai-boost-awesome-ai-for-science/catalogue/README.md

@@ -2,9 +2,9 @@
 title: "Readme"
 task: ""
 lineage_type: import
-upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/024f42bf/README.md
-upstream_sha: 024f42bf
-imported_at: 2026-08-09
+upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/d57c2d50/README.md
+upstream_sha: d57c2d50
+imported_at: 2026-09-01
 prompt_class: catalogue
 upstream_changes: accepted
 author: upstream
@@ -63,6 +63,7 @@ validated: false
   - [🌍 Earth & Climate Science](#-earth--climate-science)
   - [🌾 Agriculture & Ecology](#-agriculture--ecology)
   - [🧠 Social Sciences](#-social-sciences)
+  - [🏗 Engineering & Built Environment](#-engineering--built-environment)
 - [🤖 Foundation Models for Science](#-foundation-models-for-science)
 - [📈 Datasets & Benchmarks](#-datasets--benchmarks)
 - [💻 Computing Frameworks](#-computing-frameworks)
@@ -206,6 +207,7 @@ validated: false
 - [Jupyter AI (JupyterLab Extension)](https://github.com/jupyterlab/jupyter-ai) - Official Jupyter extension with `%%ai` magic commands and sidebar chat assistant, connecting multiple model providers and local inference
 - [Notebook Intelligence (NBI)](https://github.com/notebook-intelligence/notebook-intelligence) - AI coding assistant for JupyterLab with agent mode, supporting arbitrary LLM providers (2025+)
 - [Google Colab AI Features](https://colab.research.google.com/) - Integrated AI assistance for data science and research notebooks
+- [OpenAI4S](https://github.com/PKU-YuanGroup/OpenAI4S) - Open-source hybrid scientific research agent and workbench replicating Claude Science, combining JSON tool orchestration with persistent Python/R Code-as-Action kernels, 604 bundled science skills, MCP connectors, sandboxed local execution, and multi-provider LLM support for end-to-end scientific workflows (PKU–YuanKong Intelligence, 377+ stars, MIT License, 2026)
 - [OpenBioMed](https://github.com/PharMolix/OpenBioMed) - Open-source biomedical AI platform integrating multimodal foundation models (BioMedGPT, PharmolixFM, LangCell) with agentic workflows and 45+ Claude Code skills for drug discovery, protein engineering, and single-cell omics analysis (PharMolix & Tsinghua AIR, 1K+ stars, 2023-2026)
 - [AutoR](https://github.com/AutoX-AI-Labs/AutoR) - Human-centered research OS with terminal-first harness and local browser Studio, turning research work into reproducible artifact-backed runs through a 9-stage workflow with human approval gates, resume/rollback controls, and venue-aware manuscript packaging (1K+ stars, 2026)
 - [ScholarAIO](https://github.com/ZimoLiao/scholaraio) - Agent-agnostic research infrastructure providing AI agents with a structured scientific workspace for deep PDF parsing, hybrid semantic/keyword literature search, citation-graph analysis, topic discovery, and academic writing workflows; natively integrates with Claude Code, Codex, Cursor, Cline, and AgentSkills.io (530+ stars, MIT License, 2026)
@@ -236,6 +238,7 @@ validated: false
 - [Obsidian Smart Connections](https://github.com/brianpetro/obsidian-smart-connections) - AI-powered note linking and research graph navigation
 - [Research Rabbit](https://www.researchrabbit.ai/) - AI-powered literature discovery and research network mapping
 - [SciWrite](https://github.com/labarba/sciwrite) - Agent skill for AI-assisted scientific manuscript writing review distilled from Stanford's *Writing in the Sciences* course, performing five sequential editorial audit passes on clarity, voice, structure, consistency, and integrity (2026)
+- [PaperSpine](https://github.com/WUBING2023/PaperSpine) - Motivation-driven academic writing system for Claude Code, Codex, OpenClaw, and Hermes CLI that learns from strong papers, builds evidence-aware central-argument blueprints, and rewrites manuscripts with revision matrices and LaTeX-safe audits (4.9K+ stars, MIT License, 2026)
 - [Claude Prism](https://github.com/delibae/claude-prism) - Offline-first scientific writing workspace powered by Claude, integrating LaTeX, Python, and 100+ scientific skills with local execution, Zotero integration, and privacy-focused design (2026)
 
 ---
@@ -302,9 +305,11 @@ validated: false
 - [Science-Star (USTC AI4Science, 2025)](https://github.com/ustc-ai4science/Science-Star) - Open-source platform for building, extending, and experimenting with scientific agents, providing modular agent construction tools and standardized evaluation pipelines for accelerating autonomous scientific discovery research (748+ stars, MIT License)
 - [SR-Scientist (ICLR 2026)](https://github.com/GAIR-NLP/SR-Scientist) - Scientific equation discovery with agentic AI, elevating LLMs from equation proposers to autonomous scientists that write code, analyze data, implement equations, and optimize based on experimental feedback; outperforms baselines by 6-35% across four science disciplines with robustness to noise and out-of-domain generalization (GAIR-NLP / SJTU, 49+ stars, Apache 2.0)
 - [ARA (Agent-Native Research Artifact)](https://github.com/ARA-Labs/Agent-Native-Research-Artifact) - Research ecosystem for rigorous and trustworthy AI scientists — a protocol and skill bundle that makes autonomous research verifiable, crystallized, and observable through structured, machine-executable research artifacts and five agent skills for research management, compilation, verification, visualization, and publication (ARA-Labs, 447+ stars, MIT License, 2026)
+- [XScientist](https://github.com/smileformylove/XScientist) - Local-first autonomous research system implementing a Git-like research protocol for long-running scientific discovery; explores competing explanations, executes experiments inside an isolation boundary, self-criticizes results, and exports the entire path as typed Agent-Native Research Artifacts (ARA) with exploration DAGs, claim-to-evidence anchors, content hashes, and re-execution hooks (126+ stars, Apache 2.0, arXiv 2026)
 - [Scholar Loop](https://github.com/renee-jia/scholar-loop) - Autonomous multi-agent AI scientist that mirrors a PhD workflow: literature review → grounded hypothesis → real ML experiments → self-critique → write-up; features a deterministic harness with frozen-metric scoring, edit allowlists, and a verified registry to make reward-hacking and hallucination impossible, plus 108 unit tests runnable without API keys or GPUs (461+ stars, MIT License, 2026)
 - [ResearchStudio (Microsoft)](https://github.com/microsoft/ResearchStudio) - AI co-author covering the entire research lifecycle — from an under-specified research direction to a published paper; includes ResearchStudio-Idea for evidence-grounded research ideation and ResearchStudio-Reel for turning finished papers into posters, narrated videos, blogs, and interactive reels; runs as skills on Claude Code and Codex (1.2K+ stars, MIT License, 2026)
 - [Principia](https://github.com/pzqpzq/Principia) - Principle-first scientific idea discovery framework that extracts reusable principles from public literature and private research materials, composes them into traceable Idea Cards with prior-art comparisons, and exports validation-ready research packs; emphasizes inspectable scientific objects, risk disclosure, and falsification paths (ICML 2026, 411+ stars, MIT License)
+- [Imbue Catalyst](https://github.com/imbue-ai/catalyst) - Semi-autonomous AI scientist for scientific theory discovery and verifiable goal solving, using adversarial review-refinement loops and evolution-inspired candidate populations; integrates with Claude Code, Gemini CLI, Antigravity, and Codex harnesses (Imbue, 31+ stars, AGPL-3.0, 2026)
 
 ### Evaluation & Benchmarking
 - [ScienceAgentBench (ICLR 2025)](https://github.com/OSU-NLP-Group/ScienceAgentBench) - 102 executable tasks from 44 peer-reviewed papers across 4 disciplines with containerized evaluation
@@ -328,14 +333,17 @@ validated: false
 ### Domain-Specific Research Agents
 - [Aletheia](https://arxiv.org/abs/2602.10177) - Google DeepMind's autonomous mathematics research agent powered by Gemini Deep Think, autonomously solving 4 open problems from 700 Erdős conjectures and generating complete research papers without human intervention (February 2026)
 - [AlphaProof Nexus (Google DeepMind, arXiv 2026)](https://github.com/google-deepmind/alphaproof-nexus-results) - LLM-driven formal proof search system that pairs large language models with Lean verification to solve open mathematics problems; autonomously resolved 9 of 353 Erdős problems and 44 of 492 OEIS conjectures, with proofs and natural-language prose released for combinatorics, optimization, graph theory, algebraic geometry, and quantum optics collaborations (282+ stars, Apache 2.0)
+- [Ten Proofs (OpenAI, 2026)](https://github.com/openai/ten-proofs) - Lean 4 formalizations of ten major advances in mathematics and theoretical computer science, including improved sphere-packing bounds, non-sofic groups, a counterexample to Connes's rigidity conjecture, and quantum parallel repetition; released with the OpenAI paper and reasoning walkthroughs (57+ stars, Apache 2.0)
 - [AlphaGeometry](https://github.com/google-deepmind/alphageometry) - DeepMind's Olympiad-level geometry theorem prover combining neural language model with symbolic deduction engine, AlphaGeometry2 solves 84% of IMO geometry problems (42/50) at gold-medalist level (Nature 2024)
 - [Goedel-Prover-V2](https://github.com/Goedel-LM/Goedel-Prover-V2) - Strongest open-source automated theorem prover in Lean 4, 8B model matches DeepSeek-Prover-V2-671B at 84.6% MiniF2F, 32B model achieves 90.4% with self-correction, using scaffolded data synthesis and verifier-guided proof refinement (Princeton, 2025)
 - [DeepSeek-Prover-V2](https://github.com/deepseek-ai/DeepSeek-Prover-V2) - DeepSeek's open-source large language model for formal theorem proving in Lean 4, integrating informal and formal mathematical reasoning through recursive subgoal decomposition and reinforcement learning powered by DeepSeek-V3, with open weights and ProverBench evaluation (2025)
 - [LeanDojo](https://github.com/lean-dojo/LeanDojo) - Open-source toolkit and benchmark for learning-based theorem proving in Lean, providing programmatic Lean interaction, a 98K+ theorem dataset extracted from 217 Lean projects, and ReProver—the first retrieval-augmented LLM-based theorem prover for Lean—with reproducible training pipelines underpinning much subsequent Lean prover research (Caltech & NVIDIA, NeurIPS 2023 Outstanding Paper, Datasets & Benchmarks)
 - [Lean Copilot](https://github.com/lean-dojo/LeanCopilot) - LLMs as copilots for theorem proving in Lean 4, exposing native tactics (`suggest_tactics`, `search_proof`, `select_premises`) that embed language model inference and premise retrieval directly inside the Lean proof environment, supporting local CTranslate2/CUDA inference as well as remote model APIs for interactive and automated proof search (Caltech & NVIDIA, NeurIPS 2024, 1.2K+ stars)
 - [MathCode](https://github.com/math-ai-org/mathcode) - Terminal AI coding assistant with a built-in math formalization engine that converts plain-language math problems into Lean 4 theorems and attempts formal proofs; bundles a local Lean toolchain and WebUI for interactive mathematical reasoning (math-ai-org, 582+ stars, 2026)
+- [TorchLean (lean-dojo, 2026)](https://github.com/lean-dojo/TorchLean) - First unified Lean 4 framework for neural-network specification, execution, and verification; tensor shapes are part of the types, models are executable Lean programs, and the same definitions can be used by training code, graph transformations, certificate checkers, and proofs with CPU/CUDA backends (123+ stars, MIT License)
 - [Get Physics Done (PSI)](https://github.com/psi-oss/get-physics-done) - First open-source agentic AI physicist turning research questions into structured workflows with rigorous verification and multi-step analytical work for long-horizon physics projects; integrates with Claude Code, Codex, Gemini CLI, and OpenCode (804+ stars, Apache 2.0, 2026)
 - [Foam-Agent (NeurIPS 2025)](https://github.com/csml-rpi/Foam-Agent) - End-to-end composable multi-agent framework for automating OpenFOAM-based CFD simulations from natural language prompts, managing meshing, case setup, execution, error correction, and post-processing; achieves 100% success rate on 110 FoamBench tasks with Claude Opus 4.6 through Architect-Input Writer-Runner-Reviewer agent collaboration with RAG-enhanced generation and MCP tool integration (RPI CSML, 242+ stars, MIT License)
+- [AI CFD Scientist (RPI CSML, arXiv 2026)](https://github.com/csml-rpi/AI-CFD-Scientist) - Open-ended AI scientist for computational fluid dynamics that spans literature-grounded ideation, OpenFOAM execution via Foam-Agent, vision-language physics verification of rendered flow fields, source-code modification for new physical models, and figure-grounded LaTeX manuscript writing within a single inspectable workflow (43+ stars, Python)
 - [Zephyrus (ICLR 2026)](https://github.com/Rose-STL-Lab/Zephyrus) - First agentic framework for weather science, pairing an LLM with ZephyrusWorld (a code-execution environment exposing WeatherBench 2 data, geolocation, forecasting, simulation, and climatology tools) and ZephyrusBench (2,230 Q&A pairs across 49 weather-science tasks); outperforms text-only baselines by up to 44.2 percentage points (UC San Diego Rose-STL-Lab, 99+ stars, MIT License, 2026)
 - [BioDiscoveryAgent](https://github.com/snap-stanford/BioDiscoveryAgent) - AI agent for biological discovery and research automation
 - [Biomni](https://github.com/snap-stanford/Biomni) - General-purpose biomedical AI agent integrating LLM reasoning with retrieval-augmented planning and code-based execution to autonomously execute diverse biomedical research tasks and generate testable hypotheses (Stanford SNAP, bioRxiv 2025)
@@ -394,6 +402,7 @@ validated: false
 - [Fourier Neural Operator](https://github.com/neuraloperator/neuraloperator) - Learning operators in Fourier space
 - [Poseidon](https://github.com/camlab-ethz/poseidon) - Efficient foundation models for PDEs with pretrained transformer-based neural operators and downstream task fine-tuning pipelines, HuggingFace integration for models and datasets (ETH Zurich CAMLab, arXiv 2024)
 - [GAOT (NeurIPS 2025)](https://github.com/camlab-ethz/GAOT) - Geometry Aware Operator Transformer serving as an efficient and accurate neural surrogate for PDEs on arbitrary domains, combining geometric priors with transformer architectures for scientific computing (ETH Zurich CAMLab, 92+ stars)
+- [TensorMesh (ETH Zurich CAMLab, arXiv 2026)](https://github.com/camlab-ethz/TensorMesh) - Fast, differentiable, JIT-free finite element library for PyTorch enabling GPU-native PDE solving with native autograd, tensorized assembly, and sparse linear algebra; part of the TensorGalerkin framework (218+ stars, Apache 2.0)
 - [PhiFlow](https://github.com/tum-pbs/PhiFlow) - Differentiable PDE solving framework for machine learning with built-in fluid simulation, supporting PyTorch/JAX/TensorFlow backends and enabling neural network training within physical simulations (TUM, MIT License)
 - [exponax](https://github.com/Ceyron/exponax) - Efficient differentiable n-dimensional PDE solvers built on JAX and Equinox, shipping 46+ built-in equations with Fourier spectral methods, exponential time differencing, and full auto-differentiation for physics-based deep learning workflows (MIT, 200+ stars, 2024)
 
@@ -638,6 +647,7 @@ validated: false
 - [SpikeInterface](https://github.com/SpikeInterface/spikeinterface) - Unified Python framework for extracellular electrophysiology, standardizing interfaces to 10+ ML-based spike sorting algorithms including Kilosort for reproducible neural spike sorting workflows (792+ stars, actively maintained)
 - [CaImAn (Flatiron Institute)](https://github.com/flatironinstitute/CaImAn) - Computational toolbox for large scale Calcium Imaging Analysis, including movie handling, motion correction, source extraction, spike deconvolution and result visualization, using machine learning for automated neuron detection and activity inference in two-photon and one-photon calcium imaging data (723+ stars, actively maintained)
 - [TRIBE v2](https://github.com/facebookresearch/tribev2) - Meta FAIR's foundation model of vision, audition, and language for in-silico neuroscience, predicting fMRI brain responses to naturalistic multimodal stimuli (video, audio, text) through unified Transformer architecture mapped to the cortical surface (2026)
+- [Brain2Qwerty (Meta FAIR, Nature Neuroscience 2026)](https://github.com/facebookresearch/brain2qwerty) - Non-invasive decoding of typed sentences from MEG and EEG brain recordings using a convolutional encoder, transformer, and character-level language model; official code for the Nature Neuroscience paper and Meta blog post on brain-AI communication (Meta FAIR, 894+ stars, CC BY-NC 4.0, 2026)
 - [braindecode](https://github.com/braindecode/braindecode) - Deep learning software to decode EEG, ECG or MEG signals, providing standardized neural network models, preprocessing pipelines, and evaluation workflows for brain-computer interfaces and cognitive neuroscience research (1.2K+ stars, BSD 3-Clause, actively maintained)
 - [snntorch](https://github.com/jeshraghian/snntorch) - Deep learning with spiking neural networks in Python, providing gradient-based training of SNNs via PyTorch autodifferentiation for brain-inspired computing and neuromorphic research, with online learning capabilities and extensive tutorials (1.9K+ stars, actively maintained)
 - [nilearn](https://github.com/nilearn/nilearn) - Machine learning and statistical learning for neuroimaging in Python, providing easy-to-use tools for fMRI and MRI analysis including decoding, connectivity estimation, and parcellation with seamless scikit-learn integration (INRIA Parietal team, 1.4K+ stars)
@@ -700,6 +710,7 @@ validated: false
 #### Materials Discovery
 - [GNoME](https://github.com/google-deepmind/materials_discovery) - DeepMind's graph neural network for materials exploration, discovering 2.2M new crystal structures (380K most stable) equivalent to 800 years of traditional research, with 520K+ materials dataset open-sourced (Nature 2023)
 - [FAIRChem (OMat24)](https://github.com/FAIR-Chem/fairchem) - Meta's comprehensive ML ecosystem for materials/chemistry with 118M+ DFT calculations, EquiformerV2 models achieving top Matbench Discovery performance
+- [Skala 1.1 (Microsoft Research, 2026)](https://github.com/microsoft/skala) - Neural network-based exchange-correlation functional for density functional theory (DFT) that surpasses state-of-the-art hybrid functionals in accuracy for main-group thermochemistry, kinetics, and non-covalent interactions at semi-local DFT cost; includes PySCF/GPU4PySCF/ASE bindings and C++/Fortran integrations (248+ stars, MIT License)
 - [All-atom Diffusion Transformers (ADiT)](https://github.com/facebookresearch/all-atom-diffusion-transformer) - Unified latent diffusion transformer that jointly generates periodic crystals and non-periodic molecules, scaling to 500M parameters with SOTA results on QM9, MP20, and GEOM-DRUGS (Meta FAIR, ICML 2025, 310+ stars)
 - [JARVIS](https://github.com/usnistgov/jarvis) - NIST's open-source platform for data-driven atomistic materials design, integrating DFT datasets (JARVIS-DFT), machine learning property prediction (JARVIS-ML), and a comprehensive leaderboard for benchmarking materials AI methods across the periodic table (384+ stars)
 - [NVIDIA ALCHEMI Toolkit](https://github.com/NVIDIA/nvalchemi-toolkit) - Developer toolkit for accelerating training and inference for AI in chemistry and material science, providing optimized GPU-accelerated workflows for molecular and materials machine learning (NVIDIA, 2026)
@@ -726,6 +737,7 @@ validated: false
 
 #### Lab Automation & Robotics
 - [PyLabRobot](https://github.com/PyLabRobot/pylabrobot) - Interactive and hardware-agnostic SDK for laboratory automation, enabling programmatic control of liquid handlers, plate readers, and other lab instruments across multiple vendors; foundational infrastructure for self-driving laboratories and AI-driven experimental execution (447+ stars)
+- [RoboChem-Flex](https://github.com/Noel-Research-Group/Robochem_Flex) - Low-cost, modular self-driving laboratory platform democratizing autonomous chemical experimentation with open control software, device CAD/PCB files, and example optimization campaigns (Noël Research Group, University of Amsterdam, Apache 2.0, 2026)
 
 ### 🌌 Physics & Astronomy
 
@@ -737,10 +749,12 @@ validated: false
 - [Neural ODEs](https://github.com/rtqichen/torchdiffeq) - Differential equations with neural networks
 - [Physics-Informed Neural Networks](https://github.com/maziarraissi/PINNs) - Physics-constrained ML
 - [EquiformerV2](https://github.com/atomicarchitects/equiformer_v2) - Improved equivariant Transformer for 3D atomic graphs (ICLR2024)
+- [EquiformerV3](https://github.com/atomicarchitects/equiformer_v3) - Scaling efficient, expressive, and general SE(3)-equivariant graph attention transformers for atomic systems and machine-learned interatomic potentials (MIT License, 2026)
 - [Equiformer](https://github.com/atomicarchitects/equiformer) - Equivariant graph attention Transformer (ICLR2023)
 - [TORAX](https://github.com/google-deepmind/torax) - Differentiable tokamak core transport simulator for fusion energy research, coupling PDE solvers with JAX auto-differentiation and neural-network surrogates for fast forward modelling, pulse-design, and trajectory optimization (Google DeepMind, Apache 2.0)
 - [DiffPhysDrone (Nature Machine Intelligence 2025)](https://github.com/HenryHuYu/DiffPhysDrone) - First real quadrotor robot trained end-to-end with differentiable physics for vision-based agile flight, bridging simulation-based learning and real-world deployment with physics-informed neural network controllers (558+ stars)
 - [Walrus (arXiv 2025)](https://github.com/PolymathicAI/walrus) - Cross-domain foundation model for continuum dynamics trained on 19 physical scenarios spanning 63 variables, featuring adaptive compute via stride modulation and patch jittering for long-run stability (Polymathic AI, 293+ stars, MIT License)
+- [GeoPT (ICML 2026)](https://github.com/Physics-Scaling/GeoPT) - Unified pre-trained model for general physics simulation via lifted geometric pre-training, augmenting static geometry with synthetic dynamics to enable dynamics-aware self-supervision without physics labels; improves industrial-fidelity benchmarks spanning fluid mechanics and solid mechanics while reducing labeled data requirements by 20–60% (Physics-Scaling, 224+ stars)
 
 #### Astronomy & Astrophysics
 - [AstroCLIP](https://github.com/PolymathicAI/AstroCLIP) - Cross-modal self-supervised foundation model for galaxies by Polymathic AI, jointly embedding multi-band galaxy imaging and optical spectra into a shared latent space to enable zero/few-shot redshift estimation, galaxy property prediction, morphology classification, and cross-modal similarity search (MNRAS Letters 2024)
@@ -785,6 +799,7 @@ validated: false
 - [SkySensePlusPlus](https://github.com/kang-wu/SkySensePlusPlus) - Semantic-enhanced multi-modal remote sensing foundation model for Earth observation (Nature Machine Intelligence 2025), enabling universal interpretation across diverse satellite imagery modalities with open-source weights and benchmarks
 - [TESSERA (CVPR 2026)](https://github.com/ucam-eo/tessera) - University of Cambridge's foundation model for time-series satellite imagery, enabling efficient extraction of temporal patterns from Earth observation for land classification, canopy height prediction, and other remote sensing tasks
 - [TerraMind (IBM & ESA, 2025)](https://github.com/IBM/terramind) - First any-to-any generative foundation model for Earth Observation, enabling unified multimodal understanding and generation across diverse satellite sensors and geospatial tasks through a single architecture (258+ stars)
+- [GeoAgent (opengeos, 2026)](https://github.com/opengeos/GeoAgent) - Shared multimodal AI agent layer for geospatial Python packages (leafmap, geoai, geemap, STAC, NASA Earthdata) and QGIS, exposing geospatial tools to LLMs with structured metadata, confirmation hooks, and support for OpenAI, Anthropic, Google Gemini, Ollama, and more; includes the OpenGeoAgent QGIS plugin (456+ stars, MIT License)
 - [Awesome Remote Sensing Foundation Models](https://github.com/Jack-bo1220/Awesome-Remote-Sensing-Foundation-Models) - Curated collection of papers, datasets, benchmarks, code, and pre-trained weights for Remote Sensing Foundation Models (RSFMs), tracking the rapidly evolving landscape of vision, vision-language, generative, and agent-based geospatial AI (1.9K+ stars, 2024-2026)
 
 ### 🌾 Agriculture & Ecology
@@ -794,6 +809,8 @@ validated: false
 - [AgML](https://github.com/Project-AgML/AgML) - Agricultural machine learning platform
 - [FarmVibes.AI](https://github.com/microsoft/farmvibes-ai) - Multi-modal geospatial ML platform for agriculture and sustainability, fusing satellite imagery (RGB, SAR, multispectral), drone imagery, weather data, and sensor data for crop identification, carbon footprint estimation, and microclimate prediction (Microsoft Research, MIT License)
 - [PlantCV](https://github.com/danforthcenter/plantcv) - Open-source image analysis toolkit for high-throughput plant phenotyping, extracting morphological, color, and texture traits from RGB, hyperspectral, and thermal imagery with modular Python workflows for crop improvement, stress detection, and plant biology research (Donald Danforth Plant Science Center, 795+ stars, MPL-2.0)
+- [Virdis](https://github.com/Thanas-R/Virdis) - Satellite-powered agricultural and land analytics platform combining Sentinel-2 imagery, Google Earth Engine processing, real-time weather data, soil science databases, and AI-driven crop planning into a unified web dashboard (145+ stars, AGPL-3.0, 2026)
+- [Agribound](https://github.com/montimaj/agribound) - AI-powered field boundary delineation toolkit combining satellite foundation models, embeddings, and global training data for accurate agricultural parcel/field boundary mapping, with Google Earth Engine integration and PyPI distribution (84+ stars, Apache 2.0, 2026)
 
 #### Ecological Modeling
 - [BioSimulators](https://github.com/biosimulators/Biosimulators) - Biological simulation tools
@@ -813,6 +830,25 @@ validated: false
 
 ---
 
+## 🏗 Engineering & Built Environment
+
+### Mechanical, Aerospace & Industrial Engineering
+- [Noether (Emmi AI)](https://github.com/Emmi-AI/noether) - Open software framework for Engineering AI built on transformer building blocks, enabling teams to build, train, and operate industrial simulation models across engineering verticals; includes ready-to-use recipes for CFD (AB-UPT on DrivAerML), external aerodynamics, and heat transfer (234+ stars, ENPL non-commercial license, 2026)
+
+### Structural & Civil Engineering
+- [StructureClaw](https://github.com/structureclaw/structureclaw) - AI-assisted structural engineering workspace for AEC workflows: natural language to structural model, analysis, code-check, and report (171+ stars, MIT License, 2026)
+
+### Construction & Built Environment Management
+- [OpenConstructionERP](https://github.com/datadrivenconstruction/OpenConstructionERP) - Open-source construction ERP with AI-powered cost matching, BOQ generation, and PDF/CAD/BIM takeoff; 42 regional catalogues, 21 languages, 71 modules (DataDrivenConstruction, 717+ stars, AGPL-3.0, 2026)
+
+### Architectural Design & BIM
+- [Aedifex](https://github.com/TangSY/aedifex) - Open-source 3D architectural editor with an AI design assistant; build floor plans with walls, doors, windows, and furniture using natural language, with real-time WebGPU-powered previews (TangSY, 59+ stars, MIT License, 2026)
+
+### Electrical & Electronics Engineering
+- [kicad-happy](https://github.com/aklofas/kicad-happy) - AI coding agent skills for KiCad electronics design that turn Claude Code, Codex, Gemini CLI, and other coding agents into full electronics design assistants; parses schematics and PCB layouts, builds power trees, audits connectors/ESD protection, validates passive networks, runs SPICE simulation, sources components from major distributors, and prepares boards for fabrication (aklofas, 974+ stars, MIT License, 2026)
+
+---
+
 ## 🤖 Foundation Models for Science
 
 ### General Science Models
@@ -983,6 +1019,7 @@ This project builds upon and complements several excellent resources:
 
 ### 📊 Paper & Research Collections
 - [Scientific LLM Papers](https://github.com/yuzhimanhua/Awesome-Scientific-Language-Models) - 260+ scientific language models
+- [Awesome Scientific LLM Benchmarks](https://github.com/subinium/Awesome-Scientific-LLM-Benchmarks) - Curated, accuracy-first collection of benchmarks for evaluating LLMs on scientific reasoning and discovery across mathematics, physics, chemistry, materials science, biology, and agentic science (subinium, 29+ stars, MIT License, 2026)
 - [LLM4SR Repository](https://github.com/du-nlp-lab/LLM4SR) - LLM for scientific research survey materials
 - [PINNs Paper Collection](https://github.com/idrl-lab/PINNpapers) - Physics-informed neural networks research
 - [SciML Papers](https://sciml.ai/papers/) - Scientific computing and machine learning papers