认知锚定·符号求解器 — 把多条件权衡决策翻译成 0/1 符号变量与硬约束，z3 全枚举硬算结论，防摇摆、可复现 · z3-backed symbolic decision anchor skill
Cross-referenced across 55 tracked directories
#9051
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
ekuttan
Claude Code skill that generates structured product knowledge bases from codebase scanning
LangChain integration for Talor SERP API — 33 search engines in one tool
Takashi Yamashina
LangChain integration for the Taguru long-term semantic memory server
alirezarezvani
A CLAUDE.md Generator and Maintenance tool for for Claude Code to create high-quality CLAUDE.md instruction files — aligned with Anthropic’s best practices for Claude Code.
...more