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 #8 on the Newcomers board.

GitHubNEWOct 5, 07:40

Record Summary

Newcomers #8

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 atOct 5, 07:40
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 atOct 5, 07:40
LeanStars 1Forks 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
Stars1
Forks0
Watchers1
Issues6
Updated At2026-10-05T07:40:09Z
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": 234,
      "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-10-05T07:40:09Z",
        "pushed_at": "2026-10-05T07:40:05Z",
        "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": 5217,
        "stargazers_count": 1,
        "watchers_count": 1,
        "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": 1,
        "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
      }
    }
  ]
}