Skip to content
@project-numina

project-numina

Popular repositories Loading

  1. aimo-progress-prize aimo-progress-prize Public

    Jupyter Notebook 496 35

  2. numina-lean-agent numina-lean-agent Public

    Python 279 34

  3. kimina-lean-server kimina-lean-server Public

    Kimina Lean server (+ client SDK)

    Python 212 38

  4. LeanGeo LeanGeo Public

    Solving Competition Geometry Problems in Lean

    Lean 44 5

  5. kakeya-3d kakeya-3d Public

    Lean 31 4

  6. lean-lsp-mcp lean-lsp-mcp Public

    Python 21 4

Repositories

Showing 10 of 20 repositories
  • fuse-desktop Public

    Fuse: a desktop workspace for Lean formalization with AI agents

    project-numina/fuse-desktop's past year of commit activity
    TypeScript 8 AGPL-3.0 1 0 0 Updated Oct 5, 2026
  • kakeya-3d Public
    project-numina/kakeya-3d's past year of commit activity
    Lean 31 Apache-2.0 4 0 0 Updated Sep 9, 2026
  • LeanTriathlon Public
    project-numina/LeanTriathlon's past year of commit activity
    Lean 9 Apache-2.0 2 0 3 Updated Aug 30, 2026
  • numina-lean-agent Public
    project-numina/numina-lean-agent's past year of commit activity
    Python 279 34 1 14 Updated Jul 8, 2026
  • feynman-bench Public

    Open benchmark for Feynman IBP integral-reduction solvers

    project-numina/feynman-bench's past year of commit activity
    Python 2 MIT 0 0 0 Updated May 26, 2026
  • BrascampLieb Public

    A Lean4 repository for formalization of results from "Effective Brascamp-Lieb Inequalities"

    project-numina/BrascampLieb's past year of commit activity
    Lean 0 0 0 0 Updated Apr 10, 2026
  • lean-lsp-mcp Public
    project-numina/lean-lsp-mcp's past year of commit activity
    Python 21 MIT 4 2 2 Updated Mar 11, 2026
  • lean-explore Public Forked from lean-explore/lean-explore

    A search engine for Lean 4 declarations for numina

    project-numina/lean-explore's past year of commit activity
    Python 0 Apache-2.0 13 1 0 Updated Jan 29, 2026
  • Numina-Putnam2025 Public
    project-numina/Numina-Putnam2025's past year of commit activity
    Lean 5 MIT 0 0 0 Updated Jan 20, 2026
  • kimina-lean-server Public

    Kimina Lean server (+ client SDK)

    project-numina/kimina-lean-server's past year of commit activity
    Python 212 MIT 38 7 6 Updated Jan 11, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…