GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
tlaplus
/
AgentSkills
Public
A repository for sharing agent capabilities and expertise related to TLA+.
MIT License
Updated Feb 4, 2026
Created Jan 29, 2026
View on GitHub
7
stars
1
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
No language data available
Top Contributors
CR
craft095
2 commits
LE
lemmy
2 commits
Recent Stargazers
LE
lemmy
3 days ago
FE
FedericoPonzi
3 days ago
OC
ocadaruma
3 days ago
AH
ahmedtadde
3 days ago
ZL
zlonast
3 days ago
LU
lukeyeh
2 days ago
ER
erewok
2 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
18
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 2
Open Issues
2
Activity Peak
Most recent day with highest activity
Feb 4, 2026 • 4 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.