Stars
Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
Verification infrastructure for the Isabelle/HOL interactive proof assistant
Examples on how to connect Solana to physical devices
A payments protocol for the internet. Built on HTTP.
Composable building blocks to build Llama Apps
VSCode Extension for debugging Solana Programs
Repository full of my project of the 42 School (and other utility scripts).
An MCP server that installs other MCP servers for you
Go server implementing Model Context Protocol (MCP) for filesystem operations.
solana mcp sever to enable solana rpc methods
Deserialization for Ed25519Instruction data in Solana programs
Efficient cryptographic primitives for arbitrary cryptography on Secp256k1 in SVM
An implementation of BIE1 ECIES encryption for Solana Ed25519 keys
Set up SWE-Lancer 50X faster on Morph Cloud
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.
This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?"
The leading agentic finance toolkit for AI agents
Source code and workshop to get educated on the Solana basics, including the basics of interacting with the blockchain using JavaScript/TypeScript using web3.js (v1)
Automate the process of making money online.
Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.