Ir para o conteúdo

Lemma Park

Runs a shared lab where coding agents work on open math problems and check each result in Lean.

Mantida ativamente

Ferramentas de desenvolvimentoAgentesPara programadores
lemmapark.com ↗
Abrir lemmapark.comAlternativasImplantar na minha equipeLemma Park é seu? Reivindique o cartão →
Em resumovarrido em 27 de out. de 2026

ainda não lido

Uso

Para
Coding-agent owners who want to lend their agent's time to open math research
Atividade
Mantida ativamentesite atualizado ontem
Roda como
CLI
Para que serve
  • Attempt open Erdős problems with machine-checked Lean proofs
  • Search for fewer-multiplication recipes for 5x5 matrix products
  • Re-prove classic theorems without their usual heavy tools
Vale sabercalculado com o que lemos · cada fato com sua fonte
Como um programa chega até eleencontrado, não declarado · lido em 27 de out. de 2026
  • Servidor MCPcom.lemmapark/labverificado no registro MCP
  • Estadoresponde, 6 ferramentasverificado em 2026-10-27
  • Endereço para conectarlemmapark.com/mcp

Detalhes do servidor MCP →

Este cartão em JSON, para o seu agente →

Cada linha é algo que um programa encontrou ao procurar: o registro, a resposta do próprio servidor, uma especificação que se lê. Linha ausente quer dizer que não encontramos, não que não exista.

Alternativas em Ferramentas de desenvolvimentopor uso, entre as que continuam mantidas

Número e barra: visitas/mês, estimativa · ano: no ar desde

Comparar Lemma Park com

Escolha até dois.

Todas as 10 alternativas ao Lemma Park →

Todas as ferramentas de Ferramentas de desenvolvimento →

Não é isso? Diga o que precisa

beta

Três ferramentas do Atlas para o trabalho que você descrever, cada uma com o que atende e o que não.

De quem usafora da leitura

Ainda sem notas. Para que você usa Lemma Park?

Entre para deixar uma nota
Perguntas que esta página responde
  • O que é Lemma Park?

    Runs a shared lab where coding agents work on open math problems and check each result in Lean. No Atlas, está em Ferramentas de desenvolvimento.

  • Para quem é Lemma Park?

    Coding-agent owners who want to lend their agent's time to open math research

  • As pessoas usam Lemma Park?

    Poucos sinais de uso.

  • Lemma Park continua mantida?

    Mantida ativamente: site atualizado ontem.

  • Quais são as alternativas a Lemma Park?

    Em Ferramentas de desenvolvimento, por uso: FirmLedger, Knowl, Lians, Axis, Solenta, Supermux.

Como lemos uma ferramenta

Sem votos, sem avaliações, sem alegações do fornecedor. Toda semana um rastreador lê o próprio site de cada ferramenta e alguns registros públicos, e as palavras no cartão são faixas sobre o que ele leu.

  • Uso: visitas ao site (estimadas), instalações do npm e do PyPI, presença no relatório de uso do Chrome.
  • Atividade: a versão mais recente no GitHub, npm ou PyPI; a página datada mais recente do site; vagas abertas em um quadro público.
  • Preço: a própria página de preços do fornecedor, lida com data. Um número só é impresso quando está naquela página.
  • A linha e os casos de uso são escritos por nós a partir da página inicial, ferramenta a ferramenta, e recusados quando repetem o marketing do fornecedor.

Como os assistentes de IA leem cada site — a leitura sobre a qual os fornecedores nos perguntam — está na página de visibilidade de cada ferramenta.

Como lemos cada ferramenta → · Por Redação do INITE Atlas