Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
quint-llm-kit
Agents and tools for using Quint with LLMs
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
6
Last push
4mo ago
Recent commits
Latest commits.
Add link to Quint website
7681dbd
Gabriela Moreira
4mo ago
Delete old artwork
d6c8e0e
Gabriela Moreira
4mo ago
Update artwork on README
7f8d6ec
Gabriela Moreira
4mo ago
Improve README layout
b24d3e4
Gabriela Moreira
4mo ago
Improve README
1ff6d19
Gabriela Moreira
4mo ago
Add LICENSE
17f8e12
Gabriela Moreira
4mo ago
Add disclaimer
495d427
Gabriela Moreira
4mo ago
Move agent to right folder
639a77b
Gabriela Moreira
4mo ago
Top contributors
Builders behind this project.
bugarela
34 commits
beu5a
34 commits
erickpintor
7 commits
ivan-gavran
2 commits
ebuchman
1 commits
sryps
1 commits
