An interactive display for the Lean 4 theorem prover.
Cross-referenced across 55 tracked directories
#3656
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
12/31/2020
Created
264
GitHub Stars
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
Magniv
PromptLayer is a platform for prompt engineering and tracks your LLM requests.
ai
A tiny (118 bytes), secure URL-friendly unique string ID generator
google-wombot
[](https://www.npmjs.com/package/@google/genai) [](https://www.npmjs.com/package/@google/genai)
...moredjfarrelly
AI adapter package for Inngest, providing type-safe interfaces to various AI providers including OpenAI, Anthropic, Gemini, Grok, and Azure OpenAI.
...more88
Forks
56
Open Issues
3/13/2026
Last Commit
Recently added to the ecosystem