github search·formalcert-ai-llm2cert
FormalCert-AI/llm2cert
FormalCert-AI/llm2cert: Lyapunov functions and barrier certificates give state-space guarantees of stability and safety, but synthesizing and verifying them---especially for nonlinear, high-dimensional systems---remains an open challenge. Existing pipelines verify candidates with numerical solvers (s...
AgentScore
19.80.00
+0.00 vs 24h ago
Adoption3.5
Quality50.0
Momentum60.0
Community8.0
Unrated pillars contribute zero
CapabilitiesCode GenerationResearch
DeploymentIde Plugin
MaturityExperimental
Score breakdown
Headline plus the four pillars over time. Click any pillar below to see the signals feeding it.
Not enough score history in this window yet — try a wider one.
Pillar contributions
- GitHub stars6→ 14.1MCP registry listing0→ 0.0SO questions (7d)0→ 0.0
Pillar = mean of 3 scaled values = 3.5.
Awaiting first reading — these signals apply to this agent and will be ingested on the next tier tick: Product Hunt upvotes, Docker Hub pulls, Crates.io downloads (90d), Tech-news mentions (30d)
Not applicable — this agent doesn't have the prerequisite (no GitHub repo, no HF mirror, etc.) for these signals to ever apply: HF downloads (30d), npm weekly installs, PyPI monthly installs
Embed badgeShow your AgentTape rank on your project README
Markdown
[](https://agenttape.com/agents/formalcert-ai-llm2cert)
HTML
<a href="https://agenttape.com/agents/formalcert-ai-llm2cert"><img src="https://agenttape.com/api/badge/formalcert-ai-llm2cert.svg" alt="AgentTape" /></a>
Similar
Vibe-search via embedding cosine
Score envelope last computed 2d ago.