LeanCopilot

@lean-dojo

LLMs as Copilots for Theorem Proving in Lean

MIT Commit 10 dagen geleden ★ 1.325

Pijlers en weging

Soevereiniteit 30% 48

Onderhoud 25% 100

Beveiliging 20% geen gegevens

Adoptie 15% 34

Open standaarden 10% 0

Waarom deze score

MIT (permissief)
Laatste commit 9 dagen geleden
Uitgebracht in de afgelopen 12 maanden
Top 66% naar sterren in AI & ML › Machine-learning-frameworks

Feiten

Licentie: MIT (Permissief)
Taal: C++
GitHub-sterren: 1.325
Laatste commit: 2026-09-18 (10 dagen geleden)
Laatste release: 2026-09-15T01:19:50Z
OpenSSF Scorecard: Nog niet gemeten
Zelf hosten: Niet vastgesteld
Maintainer-locatie: Onbekend
Bron: github-crawl

Alternatieven in Grote taalmodellen

Dify.ai

Build, test and deploy LLM applications.

88 02

Langfuse

LLM engineering platform for model tracing, prompt management, and application evaluation. Langfuse helps teams collaboratively debug, analyze, and iterate on their LLM applications such as chatbots or AI agents.

87 03

textgen

Open-source desktop app for local LLMs. Text, vision, tool-calling, OpenAI/Anthropic-compatible API. 100% private.

84 04

Firecrawl

The web data API to search, scrape, and interact at scale. 🔥