Signal AtlasHot Tool Tracker
Admin Login
Back to evidenceBack to tool detailBack to rankingsBack to home

Signal Detail

sparebrains

This is a raw crawl record from GitHub, currently mapped to #10 on the Momentum board.

GitHubNEWSep 24, 14:46

Record Summary

Momentum #10

github+hackernews+rss

sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge. Current movement: NEW. Note: "First time on the board".

Score72
Confidence78%
Surge+9%
Captured atSep 24, 14:46
GitHubformal-verificationlean4
Current tool mapping
Captured namesparebrains

This is the name captured in the original signal at crawl time.

Current display namesparebrains

The system default name is still in use.

Current websitesparebrains.kumori.ai

The system default website is still in use.

Current categoryAI Coding

The system default category is still in use.

Open tool research page
Source snapshot
GitHubkumori-ai/sparebrains
github.com

sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge.

Author / Publisherkumori-ai
Published atSep 24, 14:45
LeanStars 0Forks 0
GitHub RepoProject Website
Page snapshot
GitHubGitHub - kumori-ai/sparebrains: sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge.
Fetched

sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge. - kumori-ai/sparebrains

Fetched atOct 15, 05:07
Published atWaiting for sync
Domaingithub.com
HTTP status200
AuthorNot recorded
Cache statusFresh cache
This crawl record has already generated a matching evidence card on the tool detail page, so you can jump straight back to it.
Jump to tool evidenceOpen canonical URL
Structured fields
Repositorykumori-ai/sparebrains
LanguageLean
Stars0
Forks0
Watchers0
Issues6
Updated At2026-09-24T14:45:46Z
Aggregated Source Count1

Raw Payload

Raw crawl payload

{
  "entity_key": "sparebrains.kumori.ai",
  "source_count": 1,
  "providers": [
    {
      "provider_name": "github",
      "slug": "github-kumori-ai-sparebrains",
      "external_id": "1354168279",
      "external_url": "https://github.com/kumori-ai/sparebrains",
      "metric_value": 231,
      "payload": {
        "id": 1354168279,
        "node_id": "R_kgDOULb31w",
        "name": "sparebrains",
        "full_name": "kumori-ai/sparebrains",
        "private": false,
        "owner": {
          "login": "kumori-ai",
          "id": 323345833,
          "node_id": "O_kgDOE0XdqQ",
          "avatar_url": "https://avatars.githubusercontent.com/u/323345833?v=4",
          "gravatar_id": "",
          "url": "https://api.github.com/users/kumori-ai",
          "html_url": "https://github.com/kumori-ai",
          "followers_url": "https://api.github.com/users/kumori-ai/followers",
          "following_url": "https://api.github.com/users/kumori-ai/following{/other_user}",
          "gists_url": "https://api.github.com/users/kumori-ai/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/kumori-ai/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/kumori-ai/subscriptions",
          "organizations_url": "https://api.github.com/users/kumori-ai/orgs",
          "repos_url": "https://api.github.com/users/kumori-ai/repos",
          "events_url": "https://api.github.com/users/kumori-ai/events{/privacy}",
          "received_events_url": "https://api.github.com/users/kumori-ai/received_events",
          "type": "Organization",
          "user_view_type": "public",
          "site_admin": false
        },
        "html_url": "https://github.com/kumori-ai/sparebrains",
        "description": "sparebrAIns: idle free-tier LLM compute pointed at machine-verified math. Lean 4 kernel is the judge.",
        "fork": false,
        "url": "https://api.github.com/repos/kumori-ai/sparebrains",
        "forks_url": "https://api.github.com/repos/kumori-ai/sparebrains/forks",
        "keys_url": "https://api.github.com/repos/kumori-ai/sparebrains/keys{/key_id}",
        "collaborators_url": "https://api.github.com/repos/kumori-ai/sparebrains/collaborators{/collaborator}",
        "teams_url": "https://api.github.com/repos/kumori-ai/sparebrains/teams",
        "hooks_url": "https://api.github.com/repos/kumori-ai/sparebrains/hooks",
        "issue_events_url": "https://api.github.com/repos/kumori-ai/sparebrains/issues/events{/number}",
        "events_url": "https://api.github.com/repos/kumori-ai/sparebrains/events",
        "assignees_url": "https://api.github.com/repos/kumori-ai/sparebrains/assignees{/user}",
        "branches_url": "https://api.github.com/repos/kumori-ai/sparebrains/branches{/branch}",
        "tags_url": "https://api.github.com/repos/kumori-ai/sparebrains/tags",
        "blobs_url": "https://api.github.com/repos/kumori-ai/sparebrains/git/blobs{/sha}",
        "git_tags_url": "https://api.github.com/repos/kumori-ai/sparebrains/git/tags{/sha}",
        "git_refs_url": "https://api.github.com/repos/kumori-ai/sparebrains/git/refs{/sha}",
        "trees_url": "https://api.github.com/repos/kumori-ai/sparebrains/git/trees{/sha}",
        "statuses_url": "https://api.github.com/repos/kumori-ai/sparebrains/statuses/{sha}",
        "languages_url": "https://api.github.com/repos/kumori-ai/sparebrains/languages",
        "stargazers_url": "https://api.github.com/repos/kumori-ai/sparebrains/stargazers",
        "contributors_url": "https://api.github.com/repos/kumori-ai/sparebrains/contributors",
        "subscribers_url": "https://api.github.com/repos/kumori-ai/sparebrains/subscribers",
        "subscription_url": "https://api.github.com/repos/kumori-ai/sparebrains/subscription",
        "commits_url": "https://api.github.com/repos/kumori-ai/sparebrains/commits{/sha}",
        "git_commits_url": "https://api.github.com/repos/kumori-ai/sparebrains/git/commits{/sha}",
        "comments_url": "https://api.github.com/repos/kumori-ai/sparebrains/comments{/number}",
        "issue_comment_url": "https://api.github.com/repos/kumori-ai/sparebrains/issues/comments{/number}",
        "contents_url": "https://api.github.com/repos/kumori-ai/sparebrains/contents/{+path}",
        "compare_url": "https://api.github.com/repos/kumori-ai/sparebrains/compare/{base}...{head}",
        "merges_url": "https://api.github.com/repos/kumori-ai/sparebrains/merges",
        "archive_url": "https://api.github.com/repos/kumori-ai/sparebrains/{archive_format}{/ref}",
        "downloads_url": "https://api.github.com/repos/kumori-ai/sparebrains/downloads",
        "issues_url": "https://api.github.com/repos/kumori-ai/sparebrains/issues{/number}",
        "pulls_url": "https://api.github.com/repos/kumori-ai/sparebrains/pulls{/number}",
        "milestones_url": "https://api.github.com/repos/kumori-ai/sparebrains/milestones{/number}",
        "notifications_url": "https://api.github.com/repos/kumori-ai/sparebrains/notifications{?since,all,participating}",
        "labels_url": "https://api.github.com/repos/kumori-ai/sparebrains/labels{/name}",
        "releases_url": "https://api.github.com/repos/kumori-ai/sparebrains/releases{/id}",
        "deployments_url": "https://api.github.com/repos/kumori-ai/sparebrains/deployments",
        "created_at": "2026-09-02T00:55:53Z",
        "updated_at": "2026-09-24T14:45:46Z",
        "pushed_at": "2026-09-24T14:45:40Z",
        "git_url": "git://github.com/kumori-ai/sparebrains.git",
        "ssh_url": "git@github.com:kumori-ai/sparebrains.git",
        "clone_url": "https://github.com/kumori-ai/sparebrains.git",
        "svn_url": "https://github.com/kumori-ai/sparebrains",
        "homepage": "https://sparebrains.kumori.ai",
        "size": 4582,
        "stargazers_count": 0,
        "watchers_count": 0,
        "language": "Lean",
        "has_issues": true,
        "has_projects": true,
        "has_downloads": false,
        "has_wiki": true,
        "has_pages": false,
        "has_discussions": true,
        "forks_count": 0,
        "mirror_url": null,
        "archived": false,
        "disabled": false,
        "open_issues_count": 6,
        "license": {
          "key": "apache-2.0",
          "name": "Apache License 2.0",
          "spdx_id": "Apache-2.0",
          "url": "https://api.github.com/licenses/apache-2.0",
          "node_id": "MDc6TGljZW5zZTI="
        },
        "allow_forking": true,
        "is_template": false,
        "web_commit_signoff_required": false,
        "has_pull_requests": true,
        "pull_request_creation_policy": "all",
        "topics": [
          "formal-verification",
          "lean4",
          "llm",
          "mathlib",
          "minif2f",
          "theorem-proving"
        ],
        "visibility": "public",
        "forks": 0,
        "open_issues": 6,
        "watchers": 0,
        "default_branch": "main",
        "temp_clone_token": null,
        "custom_properties": {},
        "organization": {
          "login": "kumori-ai",
          "id": 323345833,
          "node_id": "O_kgDOE0XdqQ",
          "avatar_url": "https://avatars.githubusercontent.com/u/323345833?v=4",
          "gravatar_id": "",
          "url": "https://api.github.com/users/kumori-ai",
          "html_url": "https://github.com/kumori-ai",
          "followers_url": "https://api.github.com/users/kumori-ai/followers",
          "following_url": "https://api.github.com/users/kumori-ai/following{/other_user}",
          "gists_url": "https://api.github.com/users/kumori-ai/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/kumori-ai/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/kumori-ai/subscriptions",
          "organizations_url": "https://api.github.com/users/kumori-ai/orgs",
          "repos_url": "https://api.github.com/users/kumori-ai/repos",
          "events_url": "https://api.github.com/users/kumori-ai/events{/privacy}",
          "received_events_url": "https://api.github.com/users/kumori-ai/received_events",
          "type": "Organization",
          "user_view_type": "public",
          "site_admin": false
        },
        "network_count": 0,
        "subscribers_count": 0
      }
    }
  ]
}