GeezerVison

GeezerVison is showing github.com — LFG Labs

Pinned Loading

verity verity Public

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Lean 159 23
ethereum-verification-benchmark ethereum-verification-benchmark Public

Benchmark for Verity-based smart contract verification research

Lean 4 2

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Cairo CSS Dockerfile Go HTML JavaScript Lean MDX Nix Python Rust Solidity Swift TypeScript

Sort

Last updated Name Stars

Showing 10 of 136 repositories

verity Public
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/verity's past year of commit activity

Lean 159 MIT 23 49 6 Updated Nov 12, 2026
EIPs Public Forked from ethereum/EIPs
The Ethereum Improvement Proposal repository

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/EIPs's past year of commit activity

Python 0 CC0-1.0 6,934 0 5 Updated Nov 11, 2026
evmbench Public Forked from paradigmxyz/evmbench
A benchmark and harness for finding and exploiting smart contract bugs

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/evmbench's past year of commit activity

Python 0 Apache-2.0 81 0 12 Updated Nov 11, 2026
EVMYulLean Public Forked from NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/EVMYulLean's past year of commit activity

Lean 1 Apache-2.0 25 0 0 Updated Nov 11, 2026
TrustlessInference Public
Access any AI model, with cryptographic proof you got exactly what you asked for

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/TrustlessInference's past year of commit activity

TypeScript 0 0 1 0 Updated Nov 6, 2026
unbound.md Public
Human Services for Autonomous Agents - Bridging Digital Autonomy and Physical Reality

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/unbound.md's past year of commit activity

TypeScript 1 0 0 6 Updated Nov 2, 2026
watchtower.starknet.id Public

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/watchtower.starknet.id's past year of commit activity

TypeScript 0 0 0 7 Updated Nov 1, 2026
open-code-review Public Forked from alibaba/open-code-review
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/open-code-review's past year of commit activity

Go 0 Apache-2.0 3,753 0 6 Updated Nov 1, 2026
boost-ci-shader Public
Procedural GLSL shader and theme-adaptive pure vector SVGs (High-Res & Favicon optical variants) for the Boost-CI emblem

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/boost-ci-shader's past year of commit activity

HTML 0 0 0 0 Updated Oct 29, 2026
ethereum-verification-benchmark Public
Benchmark for Verity-based smart contract verification research

Uh oh!

There was an error while loading. Please reload this page.

lfglabs-dev/ethereum-verification-benchmark's past year of commit activity

Lean 4 2 2 5 Updated Oct 29, 2026

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.