认知锚定·符号求解器 — 把多条件权衡决策翻译成 0/1 符号变量与硬约束，z3 全枚举硬算结论，防摇摆、可复现 · z3-backed symbolic decision anchor skill
Cross-referenced across 55 tracked directories
#9049
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
10/14/2026
Created
1
GitHub Stars
10/14/2026
Last Commit
Recently added to the ecosystem
Score: 100/100
0 dependency vulnerabilities found
Anthropic <[email protected]>
The official Python library for the anthropic API
Magniv
PromptLayer is a platform for prompt engineering and tracks your LLM requests.
Unclecode
🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & scraper