UnfragileUnfragile

Search Index Docs MCP

Verified record · from the answer index

ltl2ba

clitested · static-verifiedscore 18/100signed passport ✓

Translate LTL formulae to Buchi automata

cli:brew:ltl2ba

From 224,100 verified-corpus records · ask the answer engine · the census

Search

Search
The Index
The Answer Engine

For agents

API Docs
MCP Server
agents.md
llms.txt

Company

About
How we check
Sources

Agent? One curl.

curl unfragile.ai/agents.md | sh

Some listings include data from tldr-pages (CC BY 4.0), mcptoplist (CC BY 4.0) and Glama. Every listing is independently checked by Unfragile. Sources

© 2026 Savir Platforms Private Limited. For humans, agents, and robots.

Unfragile is built by Fallibilism, a brand of Savir Platforms Private Limited, India.