Oracle3: open-source trading engine and MCP server for prediction markets. Finds fee-adjusted no-arbitrage violations across related event contracts and trades them live on Kalshi, Polymarket and Solana, or on paper, under pre-trade risk limits. 13 MCP tools, JSON CLI, agent skills, 600+ tests.
Fake server, Consumer Driven Contracts and help with testing performance from one configuration file with zero system dependencies and no coding whatsoever
Shift-left API Integration | Auto-fix integration drift before integration. Specmatic turns API specifications into executable contracts, continuously verifying that every change made by AI coding agents and engineers stays true to the desired behaviour. Ship AI-ready APIs 10x faster, from intent to implementation, with Spec-Driven API Development.
A guide to EOS smart contract security best practices
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
Algorand Smart Contracts in Python
Go implementation of Waves node, libraries and tools for Waves blockchain
Python-based EOS smart-contract development & testing framework
Working-draft Mail Action Protocol for agent actions through email, with type contracts, a registry, and a validation CLI.
⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓
AI-assisted Windows and Chrome GUI delegation for Codex: task contracts, local execution, Jev semantic decisions, recovery and outcome verification.
The repository host gives no description.
Integrated Ethereum implementation and tool suite focused on Solidity testing and development.
List of contracts from known projects (work in progress)
A framework for smart contract verification in Coq
Framework to automate development of Algorand Assets and Smart Contracts.
A tool for design-by-contract in Go
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3
GoDoc Live statically analyzes your Go HTTP services — extracts route definitions, request/response contracts, and authentication patterns — then generates beautiful, interactive API documentation.
A framework for writing Smart Contracts on Algorand
Implementing ping between EOS / React.js
- eos
- eos-contracts
- react
- eosio
Let's learn Algorand!
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls.