LFG Labs
We are a AI native company building products for Agentic Era
Pinned Loading
Repositories
Showing 10 of 117 repositories
- explain.md Public
lfglabs-dev/explain.md’s past year of commit activity - verity Public
Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full formal verification practical. Vires in Numeris.
lfglabs-dev/verity’s past year of commit activity - TrustlessInference Public
Access any AI model, with cryptographic proof you got exactly what you asked for
lfglabs-dev/TrustlessInference’s past year of commit activity - utu_bridge_indexer Public
This allows to retrieve withdrawal requests newly requested, and to generate the corresponding transaction.
lfglabs-dev/utu_bridge_indexer’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…