LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

specula

Specula: A framework for finding deep bugs in system code using TLA+

OtherEmerging
GitHub
Stars
—
Forks
—
Contributors
7
Last push
12d ago

Recent commits

Latest commits.

  • gitignore: ignore libspdm rq2 targets and local bug-data dir
    38e9d6eQian-Cheng-nju12d ago
  • scripts: claude-code adapter supports --model override
    d2048d3Qian-Cheng-nju12d ago
  • scripts: add codex plugin install option (#38)
    bcd2957Valentin12d ago
  • skills: bug-confirmation MC exemption requires a real counterexample; no-violation family is code-review-sourced
    d1df19eQian-Cheng-nju16d ago
  • skills: bug-confirmation drops code-review x known regardless of open/fixed status
    dfebbd9Qian-Cheng-nju16d ago
scripts: all launcher prompts defer to their skill instead of restating methodology
6e029b3Qian-Cheng-nju17d ago
  • scripts: bug-confirmation launcher defers to skill instead of restating its flow
    084510fQian-Cheng-nju17d ago
  • scripts: launch_pipeline runs a bug-confirmation repair loop
    848d9afQian-Cheng-nju17d ago

    • Top contributors

    Builders behind this project.

    Qian-Cheng-nju
    517 commits
    kewbish
    34 commits
    tangruize
    17 commits
    tianyin
    16 commits
    ValentinWalter
    1 commits
    sambacha
    1 commits
    yihuang
    1 commits