semble
★ 4.5k
vs
chiasmus
★ 187
semble vs chiasmus
semble: Semble is a high-performance code search library designed for AI agents, providing instant access to precise code snippets. It offers significantly faster indexing and querying compared to transformer models, achieving 99% of their retrieval quality while running entirely on CPU without external dependencies.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.
01
TL;DR
Choose semble if…Enhancing AI agents (e.g., Claude Code, Cursor, Codex) with fast and accurate code search capabilities
Choose chiasmus if…Detect conflicts in access control rules
02
Side-by-Side Comparison
03
Features
semble01Fast performance on CPU (indexes in ~250ms, queries in ~1.5ms)
02High accuracy (NDCG@10 of 0.854), comparable to transformer models
03Supports indexing local paths and remote Git repositories
04Functions as an MCP server for various AI agents
05Zero setup, no API keys, GPU, or external services required
chiasmus01Formal verification via Z3 SMT solver and Tau Prolog
02Tree-sitter-based source code analysis
03Template-based problem formalization
04End-to-end solving pipeline
05Custom language adapters
04
Use Cases
semble↳Enhancing AI agents (e.g., Claude Code, Cursor, Codex) with fast and accurate code search capabilities
↳Searching local or remote codebases for specific code snippets based on natural language or code queries
↳Finding semantically similar code sections related to a given file path and line number
chiasmus↳Detect conflicts in access control rules
↳Find dead code and perform impact analysis
↳Verify software invariants and state machines
05
Best For
sembleCode AssistantRAG / Knowledge Base
chiasmusTrendingAPI Integration
FAQ
FAQ
What is the difference between semble and chiasmus?
Both semble and chiasmus are in the RAG / Knowledge Base category. semble has 4.5k stars, while chiasmus has 187 stars.
Which is better, semble or chiasmus?
The best choice depends on your use case. Choose semble if Enhancing AI agents (e.g., Claude Code, Cursor, Codex) with fast and accurate code search capabilities, and chiasmus if Detect conflicts in access control rules.
Is semble free or open source?
Yes, semble is open source on GitHub (MIT).
Is chiasmus free or open source?
Yes, chiasmus is open source on GitHub (Apache-2.0).
→