$code-contracts
Code Contracts defines a plain-text format for expressing structured assumptions, requirements, and invariants next to source code. Its specifications help developers and coding agents understand intended behavior, review changes, and verify compliance.
Overview
7 featuresIn the Other dev tools space, $code-contracts takes a focused approach. It focuses on making software assumptions, invariants, and requirements explicit and verifiable alongside the code that implements them. It is built as an open-source project for software developers building or maintaining agent-assisted codebases. The project is open source (Open Source). It runs on the command line, and it can be self-hosted.
$code-contracts first shipped in 2026. The project is developed in the open on GitHub with 48 stars and 147 commits in the last 90 days. Among its 7 catalogued features are colocated specifications, structured directives, and code invariants.
Summary written by a language model from the project’s public pages.
- Colocated specifications
- Structured directives
- Code invariants
- Version-controlled format
- Agent guidance
- Requirement verification
- Plain-text syntax
Built with & integrations
- Unspecified agent
- AGENTS.md
Trust & compliance
Indexing history
1What PulseGate has recorded for this listing
- Indexed12 Sept · 11:42 UTCCode Contracts: Structured specifications colocated with code verified via Hacker News firehose (Algolia)Source: Hacker News firehose (Algolia) · Open
Frequently asked questions about $code-contracts
- What is $code-contracts?
- $code-contracts focuses on making software assumptions, invariants, and requirements explicit and verifiable alongside the code that implements them. It is catalogued under Other dev tools on PulseGate.
- Who is $code-contracts for?
- $code-contracts is an open-source project built for software developers building or maintaining agent-assisted codebases.
- Is $code-contracts free?
- Yes — $code-contracts is open source under the Open Source license and free to use.
- What platforms does $code-contracts run on?
- $code-contracts runs on the command line. It can also be self-hosted.
- Is $code-contracts still active?
- The GitHub repository shows 147 commits in the last 90 days.
- What projects are similar to $code-contracts?
- Similar projects tracked by PulseGate include Proxy Switcher, mtop-ng, and HooTool.Proxy Switchermtop-ngHooTool
- When did $code-contracts launch?
- $code-contracts first shipped in 2026.
- Is $code-contracts open source?
- Yes — $code-contracts is open source under the Open Source license, developed on GitHub.
Also in Other dev tools
Same category — not a similarity match