Back to Projects
Fermah Kernel
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: AI Agent Framework
Description
Fermah Kernel is billed as "the upgrade that brings protocols agency," enabling processes to be defined, executed, and attested without a human in the loop. It combines AI and deterministic code: AI agents compose workflows through a standard interface using a typed library of pre-built primitives (HTTP calls, on-chain reads, social feeds, sports APIs, crypto prices, math, and more), while deterministic, idempotent code executes them in isolated sandboxes built for untrusted code and publishes every result on-chain with cryptographic proof — with no LLM in the runtime hot path and no committee or dispute window. It is positioned as the infrastructure layer where autonomous AI agents and autonomous protocols interact directly, running processes such as resolution logic, data aggregation, pricing oracles, and cross-chain coordination. It already powers Fermah Froben, a live-on-mainnet universal proof market that has delivered over 2M proofs with a 99.5% 24h success rate and zero human interventions, and underlies Flashcast Social, a private-beta prediction markets product that turns a tweeted question into a live, automatically resolved market within seconds.Technology & Skills
ECDSA
FUNDRAISING
COOPERATIVE SCHEDULING
FIREDANCER
BLS
KUBERNETES
PERFORMANCE PROFILING
GROWTH
ROCKSDB
POSTGRESQL
WEBASSEMBLY
ARCHITECTURE
COMMUNITY
GRPC
SEAORM
DHT
EXCHANGE
DISTRIBUTION
RPC
CRYPTOGRAPHY
TESTING
C#
PARTNERSHIP
NODE SOFTWARE
BUSINESS DEVELOPMENT
BLOCKCHAIN
AGAVE
DISTRIBUTED SYSTEM
SECURITY AUDIT
MARKET MAKER
DEFI
GO
SQLX
LIBP2P
REFERRAL
CONSENSUS
DIESEL
WEBSOCKET
RUST
P2P NETWORKING
GCP
HTTP
EVENT
EVM
CONTAINER ORCHESTRATION
OBSERVABILITY
DOCKER
CLIENT SOFTWARE
AWS
RETENTION
ZK
CI/CD
USER ACQUISITION
OPENTELEMETRY
EBPF
TOKEN LAUNCH
LEADERSHIP
ACTOR MODEL
NEGOTIATION
LAUNCHPAD
KOL
TOKIO