A contract-driven gRPC regression harness for AI coding agents, with human-approved baselines. Snapshot the valid call chains of an API so an agent can look one up instead of tracing for it. gRPC today, OpenAPI next
Repository Index
47,133 repositories indexed
25–48 of 124 · Most stars
⚒️ Redocly CLI makes OpenAPI easy. Lint/validate to any standard, generate beautiful docs, and more.
Polkadot's ink! to write smart contracts.
Mocks and explicit contracts in Elixir
A collection of practical security-focused guides and checklists for smart contract development
⛓️ Reference Waves Blockchain Node (client) implementation on Scala
- blockchain
- cryptography
- smart-contracts
- decentralized-applications
JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.
- pact
- consumer-driven-contracts
- contract-testing
- hacktoberfest
WebAssembly Smart Contracts for the Cosmos SDK
- cosmos-sdk
- rust
- smart-contracts
- webassembly
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Full featured library for Ethereum interaction with the JSON RPC API in swift. Native ABI parsing and smart contract interactions.
A lightweight high performance tensor algebra framework for modern C++
- tensors
- tensor-contraction
- multidimensional-arrays
- simd
PiG (Pi in Go) is a faithful Go port of upstream Pi, the TypeScript codebase behind the Pi coding agent. It is a parity-bound translation, not a rewrite: upstream behavior is the contract, and Go is the implementation language.
HERO = Hashing · Edge cases · Rubrics · Overbuild — the four shapes coding agents over-defend in. A paste-in contract that stops them. Works with Claude Code, Codex, Antigravity, Cursor, Copilot, Windsurf, Gemini CLI.
- agents-md
- ai-agents
- claude-code
- claude-md
Smart contracts which are formally verified
A pure swift Ethereum Web3 library
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
- smart-contracts
- erc20-tokens
- vulnerabilities
- solidity
Sharing Updatable Models (SUM) on Blockchain
- blockchain
- ml
- ai
- economics
Fake server, Consumer Driven Contracts and help with testing performance from one configuration file with zero system dependencies and no coding whatsoever
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.
- algorithmic-trading
- kalshi
- polymarket
- python
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.
- contract-testing
- microservices
- contract-driven-development
- cdd
A guide to EOS smart contract security best practices
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
- blockchain
- smart-contracts
- clarity
- clarinet
Algorand Smart Contracts in Python