Popular repositories Loading

1. cn.cyberIdentity.certification cn.cyberIdentity.certification Public

   国家网络身份认证App（by 中华人民共和国公安部第一研究所），安全审计报告发布用

   29 14

2. cn.sinobest.gaywtb cn.sinobest.gaywtb Public

   公安一网通办App（by 中华人民共和国公安部科技信息化局），安全审计报告发布用

   Python 16 1

3. ZFC-Failure ZFC-Failure Public

   ZFC的问题的形式化与机器证明，人类也会集体活在数学幻觉中：选择数学幻觉P加在ZFC上，是数学社区与魔鬼达成了交易，从而社区得到了A型数学便利，但是魔鬼要的从来都是“灵魂”。 数学的灵魂——数学真理性。

   Lean 3

4. AI-Math-Competition-Problem-Solving-System AI-Math-Competition-Problem-Solving-System Public

   AI 数学竞赛题持续解题系统——多轮续传解题管线+9步SOP监控+proof审计+全流程模拟

   Python 2

5. licr-implicit-concept-recognition licr-implicit-concept-recognition Public

   LICR（LLM 隐性概念识别）研究档案：利用大语言模型识别文本中的隐性概念（未点名的方法论、原理、模式）并链接到 Wikidata。含中英文论文、学位论文草稿、licr.py v1.0.0 代码、专利策略、LICR-Native 架构白皮书与完整对话记录。2026-01~02 研究期资料。CC BY 4.0。

   Python 2

6. rag-implicit-semantic-survey rag-implicit-semantic-survey Public

   RAG 与隐性语义处理综述项目档案（2026-01-08 ~ 02-11）：Vol1 语言学与认知基础 18 章（学术版完成）、Vol2 RAG 技术演进、Vol3-5 Agentic RAG 等后续卷研究，Schema v4→v6 迭代与法证式审计，另附 9 篇独立 RAG 研究报告和 126 段完整对话记录。CC BY 4.0。

   2