Not in the top 1,000 by GitHub stars
specula-org/Specula
Specula: An agentic tool for finding deep bugs in system code using TLA+
History
Review weekly changes to SKILL.md before updating. Dates mark the weeks in which we observed each version; checks apply to the recorded commits.
View weekly changes
skills/bug-classification/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/bug-confirmation/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/byom/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/code_analysis/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/harness-generation/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/incremental-modeling/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/spec_generation/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/specula-lite/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/tla-checking-workflow/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/tla-trace-workflow/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/validation-workflow/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
skills/writing-modeling-guidance/SKILL.md
Week of Nov 2, 2026 · +0 / −0 lines
Before Not checked yet → After Not checked yet
39b4a0150a2e → b285ee78fb39
Diff text is unavailable under the recorded licenses. Line counts and the GitHub link remain available.
Week of Oct 26, 2026 · Line counts unavailable
Before Not checked yet → After Not checked yet
First observation → 39b4a0150a2e
No earlier version was observed for comparison.
Heat
7.3- Star growth, last 7 daysNot available
- Star growth, last 24 hoursNot available
- Rank movement, last 7 daysNot available
- Commits, last 30 daysNot available
- Accounts asking about it through MCP, last 7 daysNot available
- Hot votes this weekNot available
Heat never changes the order by stars, and sponsorship never touches it. How heat works
Stars over time
30-day change not yet available: not enough history.
How it works
Skills included
Repository facts
- License
- Apache-2.0
- Created
- Jun 15, 2025
- Last pushed
- Nov 6, 2026
- Forks
- 70
- Open issues
- 8
- Project activity
- Not available
Before you install
Not checked yetAutomated signals, not a guarantee
No scan has been recorded for this repository yet.
