← Back to List
⚠
Notice:This resource is provided by a third-party author. Please review the code with AI tools or manually before use to ensure security and compatibility.
Pythonspecula-org/Specula

Specula

Specula: An agentic tool for finding deep bugs in system code using TLA+

68.3/100
★ 500Forks: 55
View on GitHub →
Loading report...

Similar Projects

hermes-agent

90

The agent that grows with you

Python★ 249.8K

AutoGPT

96

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Python★ 187.6K

markitdown

88

Python tool for converting files and office documents to Markdown.

Python★ 187.5K

skills

65

Public repository for Agent Skills

Python★ 178.8K
← Back to List