LUC-AI4FM

LUC-AI4FM/tlakit

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

12 good first / help-wanted issues · Python · last activity Aug 7, 2026

0 stars 0 forks 0 watchers Python
View on GitHub
12 Open Issues Need Help Last updated: Aug 7, 2026

Open Issues Need Help

View All on GitHub
python -m tlakit.install can hang forever, and jar.py still says downloading is a future feature about 2 months ago
good first issue infra
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
The Worker's 64 KB cap counts characters, so a Unicode spec is measured wrong 3 months ago
good first issue robustness
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
check(animate=True, graph=True) returns no graph and says nothing 3 months ago
good first issue correctness
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
A cached v1.10.0 jar loses to v1.9.0, because the versions are sorted as strings 3 months ago
good first issue robustness
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
A misspelled magic flag is silently ignored, so %%tlc runs with no timeout 3 months ago
good first issue robustness
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
No CONTRIBUTING.md: the setup a contributor needs is only in ci.yml 3 months ago
good first issue infra
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
examples/specs/check.sh still does the JSON-escaping dance #78 removed 3 months ago
good first issue
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
Exit code 1 says the spec is wrong, including when TLC never finished 3 months ago
good first issue correctness
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
`tlakit --version` is a usage error 3 months ago
good first issue
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
print(sweep) is the wall of text CheckResult.__str__ was written to remove 3 months ago
good first issue widget
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
Printed results are one unreadable line; CheckResult needs a __str__ 3 months ago
good first issue
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python
Document the public API 3 months ago
good first issue infra
LUC-AI4FM/tlakit
0

A Python and notebook client for the TLA+ toolchain — model-check specs from Jupyter, get structured results back

Python