Repository Index

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

• key-value
• immutable
• merkle-tree
• go

Source code verification service for Ethereum smart contracts

• verification
• ethereum
• smart-contracts
• solidity

Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.

• ai-agents
• cli
• coding-agents
• developer-tools

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

• agent-orchestration
• cli
• developer-tools
• llm-agents