elder-plinius

    elder-plinius/V3R1T4S

    liberating known unknowns

    developer-tools
    Python
    AGPL-3.0
    499 stars
    109 forks
    499 GitHub watchers
    Updated Oct 29, 2026
    View on GitHub

    Build with Backblaze B2

    SDKs, agent skills, IDE extensions, and reference pipelines from Backblaze Labs. All open source.

    Explore Backblaze Labs

    Loading star history...

    Where it stands

    Rank, growth pace and release cadence relative to everything GStars tracks.

    The project lists 19 contributors on GitHub.

    Use Cases & Benefits

    • Liberates unsolved scientific problems by running autonomous agents that search, verify, and reproduce novel results in mathematics, cryptography, and related fields.
    • Enables reproducible, independently verified discoveries with a rigorous multi-agent skepticism and honesty-check pipeline to ensure result validity.
    • Use for contributing to open mathematical and cryptographic challenges by automating search and verification of new solutions.
    • Use for benchmarking and improving neural network robustness by finding stronger adversarial attacks on public models.
    • Use for exploring and advancing research in diverse scientific domains like biology, physics, and optimization through agent-driven problem hunting.

    Should you depend on it?

    License terms, project hygiene and risks, from GitHub metadata and GStars' snapshots.

    License

    AGPL 3.0

    Network copyleft: like the GPL, and also triggered by offering the software over a network.

    Community files

    • README: present

    Watch-outs

    • AGPL-style copyleft also applies when the software is offered over a network.
    • No GitHub releases; pin a commit or tag instead of a release.

    General guidance from repository metadata, not legal advice. How we score

    From the README

    Turn your unused tokens into scientific discoveries.

    CIPHERS CRACKED. TABLES BEATEN. BOUNDS PUSHED. 🔓

    Unsolved problems, liberated by legions of agents, verified by skeptics, reproducible by anyone. Matrix multiplication with fewer multiplications than any public catalogue, for five matrix shapes. Two unsolved cipher-machine challenges, cracked. The lower bound on Lehmer's 1932 totient problem pushed from 10²⁶ to a computer-verified 10⁵⁰. All from a one-shot routine prompt. And now, the same power is in your hands! May you wield it wisely.

    Open an agent that can run code and paste:

    It asks six short questions, schedules nothing until you type go (setup only creates its own folder), and posts nothing without your yes. Most nights it finds nothing. Some nights it beats a table entry, and your name goes in the trophy case. Works with Claude Code, Codex, Gemini CLI, Grok Bot, Hermes and more: see Pick your agent.

    🤖 Agents: start at AGENTS.md.

    "Veritas liberabit nos." The truth will set us free.

    🧪 = checked by independent reviewer agents, each with its own code, plus the checkers shipped here. Not yet listed by the table owner. 53 results in all: 46 checkable results, 5 linear-programming bounds and 2 sealed cipher solves. Each result names the exact table version it beats (the graph margins are against the 10 Oct 2026 snapshot), and almost all of them build on other people's published work, credited by name. Full detail → TROPHY_CASE.md

    Excerpt from the elder-plinius/V3R1T4S README on GitHub (AGPL-3.0 license). © its authors.Read the full README on GitHub

    Daily snapshots

    Stars gained per day, and how forks and open issues moved, from GStars' daily snapshots

    Forks

    109+41

    Open issues

    389+312

    Compared with peers in Developer Tools

    Fastest-growing repositories GStars tracks in this cohort for the week of Nov 1, by 7-day star growth

    elder-plinius/V3R1T4S compared with Developer Tools repositories by stars, 7-day star growth, health score and last release
    RepositoryStars+7dHealthLast release
    stablyai/orca116.8K+6.6K40today
    affaan-m/ECC297.9K+5.2K6335 days ago
    DietrichGebert/ponytail185.3K+5.1K607 days ago
    herdrdev/herdr48.3K+1.7K5922 days ago
    The-PR-Agent/pr-agent15.1K+1.5K6411 days ago
    elder-plinius/V3R1T4S499—35—
    Category median116.8K+5.1K60—

    Also by elder-plinius

    Other repositories from this maintainer that GStars tracks

    Discover Repositories

    Search across tracked repositories by name or description