Owner

crocs-muni

登录后关注

已索引 11 个仓库 · 在 GitHub 查看

javacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcards

Python · 552 个 star
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw...

Java · 90 个 star
sec-certs
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).

Jupyter Notebook · 32 个 star
scrutiny
An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework...

HTML · 20 个 star
JCProfilerNext
Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!

Java · 16 个 star
ai-sectools-project
The catalogue of security tools and methods developed during AI-Sectools project

3 个 star
scrutiny-fabric
A permissionless, decentralized security-metadata overlay protocol built on Nostr

JavaScript · 2 个 star
jcalgtest_results
Datasets with results collected from JCAlgTest benchmarking tool

HTML · 1 个 star
scrutiny-fabric-tools

TypeScript · 1 个 star
xroad-threshold-signatures
This repository explains how to deploy threshold signatures through the PKCS#11 interface to the data exchange system X-Road.

0 个 star
scrutiny-lens

TypeScript · 0 个 star

适合新手全部

未关闭全部

可能已有人在做的 issue 排在最后。全部按时间排序

Follow-ups from the AI fill docket closing review
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 28/100

crocs-muni/scrutiny-lens#117 · 2026年9月28日创建

维护者通常 1 天内回复
Fill vocabulary: say raw and filled, not AI and interpreted
未关闭
- 哪里不对？
enhancement

难度 4/5 3-5 天新手友好度 65/100

crocs-muni/scrutiny-lens#108 · 2026年9月28日创建

维护者通常 1 天内回复
Reasoning models: cap thinking on the fill lanes, keep fixed budgets
未关闭
- 哪里不对？
enhancement

难度 4/5 3-5 天新手友好度 56/100

crocs-muni/scrutiny-lens#107 · 2026年9月28日创建

维护者通常 1 天内回复
Lazy fill: fill only what the user is about to read
未关闭
- 哪里不对？
enhancement

难度 4/5 3-5 天新手友好度 68/100

crocs-muni/scrutiny-lens#106 · 2026年9月28日创建

维护者通常 1 天内回复
Fill observability: 429-storm smoke lane + surfaced-429 counter
未关闭
- 哪里不对？
test

难度 4/5 3-5 天新手友好度 68/100

crocs-muni/scrutiny-lens#105 · 2026年9月28日创建

维护者通常 1 天内回复
AI pacing: finish adaptive concurrency against e-infra's 4-parallel cap
未关闭
- 哪里不对？
enhancement

难度 5/5 一周以上新手友好度 45/100

crocs-muni/scrutiny-lens#104 · 2026年9月28日创建

维护者通常 1 天内回复
feat(core): buildMetadata imeta/artifacts support (producer side)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 45/100

crocs-muni/scrutiny-fabric-tools#81 · 2026年9月26日创建
F21 — §8.2 implies a by-id resolution fetch but never writes its filter shape
未关闭
- 哪里不对？
spec-feedback

难度 2/5 1-3 小时新手友好度 75/100

crocs-muni/scrutiny-fabric#42 · 2026年9月26日创建
next wave — plan issue (stabilize + a11y, UX wave, LLM two lanes)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 20/100

crocs-muni/scrutiny-lens#93 · 2026年9月25日创建

维护者通常 1 天内回复
Decision log — planning pane index
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 35/100

crocs-muni/scrutiny-fabric#41 · 4 条评论 · 2026年9月25日创建
future: trusted npub allowlist for sourcing and badging
未关闭
- 哪里不对？
feat

难度 5/5 一周以上新手友好度 35/100

crocs-muni/scrutiny-lens#92 · 2026年9月23日创建

维护者通常 1 天内回复
Working state during slow search phases must be unmissable
未关闭
- 哪里不对？
enhancement

难度 3/5 1-2 天新手友好度 65/100

crocs-muni/scrutiny-lens#91 · 2026年9月23日创建

维护者通常 1 天内回复
Identifier chips link out to source registries
未关闭
- 哪里不对？
enhancement

难度 2/5 1-3 小时新手友好度 75/100

crocs-muni/scrutiny-lens#90 · 2026年9月23日创建

维护者通常 1 天内回复
Back to the results overview from the session surface
未关闭
- 哪里不对？
enhancement

难度 3/5 1-2 天新手友好度 65/100

crocs-muni/scrutiny-lens#89 · 2026年9月23日创建

维护者通常 1 天内回复
Chat column: drag-resizable width
未关闭
- 哪里不对？
enhancement

难度 3/5 1-2 天新手友好度 65/100

crocs-muni/scrutiny-lens#88 · 2026年9月23日创建

维护者通常 1 天内回复
Related products stack at identical canvas coordinates
未关闭
- 哪里不对？
bug

难度 3/5 1-2 天新手友好度 65/100

crocs-muni/scrutiny-lens#87 · 2026年9月23日创建

维护者通常 1 天内回复
Fallback titles collapse distinct records into identical nodes
未关闭
- 哪里不对？
bug

难度 2/5 1-3 小时新手友好度 75/100

crocs-muni/scrutiny-lens#86 · 2026年9月23日创建

维护者通常 1 天内回复
Graph re-anchors on selection instead of staying on first subject
未关闭
- 哪里不对？
bug

难度 3/5 1-2 天新手友好度 65/100

crocs-muni/scrutiny-lens#85 · 2026年9月23日创建

维护者通常 1 天内回复
UI: interpretation-in-motion — visible state for AI fill, retries, deletes, caches
未关闭
- 哪里不对？
enhancement

难度 5/5 一周以上新手友好度 45/100

crocs-muni/scrutiny-lens#82 · 1 条评论 · 2026年9月16日创建

维护者通常 1 天内回复
Canvas chain-state signal: resolved/absent render pixel-identical to never-patched
未关闭
- 哪里不对？
enhancement

难度 2/5 1-3 小时新手友好度 68/100

crocs-muni/scrutiny-lens#75 · 2026年9月15日创建

维护者通常 1 天内回复
F20 — DQ-1's #t:["scrutiny-fabric"] MUST cannot combine with §8.2's event-type #t in one filter; the spec never says which reading applies to traversal legs
未关闭
- 哪里不对？
spec-feedback

难度 2/5 1-3 小时新手友好度 74/100

crocs-muni/scrutiny-fabric#40 · 2026年9月13日创建
F19 — §8.2 writes out every traversal filter except the patch leg: patches are fetchable only via §7.4-step-1 prose, leaving the filter shape unstated
未关闭
- 哪里不对？
spec-feedback

难度 3/5 1-2 天新手友好度 72/100

crocs-muni/scrutiny-fabric#39 · 1 条评论 · 2026年9月13日创建
spec: allow AI grouping labels over computed facet values (category/subcategory)
未关闭
- 哪里不对？
documentation

难度 2/5 1-3 小时新手友好度 74/100

crocs-muni/scrutiny-lens#55 · 2026年9月11日创建

维护者通常 1 天内回复
db: honest surfaced state when OUR open is blocked by a stale tab (no UI until ruled)
未关闭
- 哪里不对？
bug

难度 3/5 1-2 天新手友好度 70/100

crocs-muni/scrutiny-lens#49 · 2026年9月10日创建

维护者通常 1 天内回复
Hosted free endpoint (zero-friction onboarding)
未关闭
- 哪里不对？
blocked enhancement

难度 5/5 一周以上新手友好度 30/100

crocs-muni/scrutiny-lens#45 · 1 条评论 · 2026年9月10日创建

维护者通常 1 天内回复
Settings: BYOK CORS disclaimer + endpoint-flag guidance
未关闭
- 哪里不对？
enhancement

难度 2/5 半天新手友好度 76/100

crocs-muni/scrutiny-lens#44 · 1 条评论 · 2026年9月10日创建

维护者通常 1 天内回复
refactor: unify §4 run-state derivation + session replay + chain-truth cards (post-#38 follow-ups)
未关闭
- 哪里不对？
feat

难度 5/5 一周以上新手友好度 35/100

crocs-muni/scrutiny-lens#43 · 2026年9月5日创建

维护者通常 1 天内回复
feat: KeyHint tooltips on every interactive surface
未关闭
- 哪里不对？
feat

难度 4/5 3-5 天新手友好度 65/100

crocs-muni/scrutiny-lens#39 · 2026年9月3日创建

维护者通常 1 天内回复
test: smoke harness — 5 canned questions + 5 fixture events, one command
未关闭
- 哪里不对？
test

难度 4/5 3-5 天新手友好度 55/100

crocs-muni/scrutiny-lens#32 · 2026年9月1日创建

维护者通常 1 天内回复
future: transient notifications (toasts) with a screen-reader announcement channel
未关闭
- 哪里不对？
feat

难度 5/5 一周以上新手友好度 35/100

crocs-muni/scrutiny-lens#19 · 2026年8月30日创建

维护者通常 1 天内回复
docs(api): resolve() termination guarantee is tested but invisible in the public surface
未关闭
- 哪里不对？
难度 1/5 1 小时以内新手友好度 90/100

crocs-muni/scrutiny-fabric-tools#72 · 2026年8月26日创建
docs: README declares spec v0.6.1 (impl targets 0.8.1); example teaches weakest form, Store/lookupEvent/taxonomy unmodelled
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 88/100

crocs-muni/scrutiny-fabric-tools#71 · 1 条评论 · 2026年8月26日创建
docs(api): bindingEndpoints is exported '(undocumented)' — state the undefined condition and link to BD-1/BD-2/BD-10
未关闭
- 哪里不对？
难度 1/5 1 小时以内新手友好度 92/100

crocs-muni/scrutiny-fabric-tools#70 · 2026年8月26日创建
validateEvent standalone invites integrity-unverified usage; pair the example or add a verify entry point
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 52/100

crocs-muni/scrutiny-fabric-tools#69 · 2026年8月26日创建
future: Contributor docs — adding VMs, icons, profiles
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 45/100

crocs-muni/scrutiny-lens#7 · 2026年8月20日创建

维护者通常 1 天内回复
future: Graph diffing and exporting
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 25/100

crocs-muni/scrutiny-lens#6 · 2026年8月20日创建

维护者通常 1 天内回复
future: User-authored events (annotations, corrections)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 25/100

crocs-muni/scrutiny-lens#5 · 2026年8月20日创建

维护者通常 1 天内回复
future: Live relay subscriptions for session updates
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 30/100

crocs-muni/scrutiny-lens#3 · 2026年8月20日创建

维护者通常 1 天内回复
future: Eval harness (golden dataset + LLM-judge gates)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 35/100

crocs-muni/scrutiny-lens#2 · 2026年8月20日创建

维护者通常 1 天内回复
F-crosscutting — the V layer has only one disposition (cross-cutting note)
未关闭
- 哪里不对？
spec-feedback

难度 5/5 一周以上新手友好度 35/100

crocs-muni/scrutiny-fabric#36 · 2026年8月10日创建
admit.ts bulk ingest is quadratic at corpus scale — incremental chain-index redesign (measured)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 30/100

crocs-muni/scrutiny-fabric-tools#34 · 2026年8月10日创建
Add option to uninstall the profiled applet
未关闭
- 哪里不对？
enhancement good first issue

难度 4/5 3-5 天新手友好度 55/100

crocs-muni/JCProfilerNext#157 · 3 条评论 · 2026年7月27日创建
Update `plotly.js` to the latest upstream release
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 56/100

crocs-muni/JCProfilerNext#156 · 2026年7月18日创建
Add new additions to crocs-muni/javacard-curated-list to test-data.json and CI
未关闭
- 哪里不对？
难度 2/5 半天新手友好度 72/100

crocs-muni/JCProfilerNext#152 · 2026年6月20日创建
Tooltips are slow to appear and look laggy
可能重新可做 @m-mikulica 于 104 天前认领，目前没有进行中的 PR。未关闭
- 哪里不对？
web

crocs-muni/sec-certs#662 · 4 条评论 · 已指派 1 人 · 2026年6月18日创建

维护者通常 1 天内回复
Migrate the simulator runtime to martinpaljak/JCardEngine
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 48/100

crocs-muni/JCProfilerNext#150 · 2026年6月18日创建
Add and verify support for the latest JavaCard 3.2 SDKs
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 45/100

crocs-muni/JCProfilerNext#149 · 1 条评论 · 2026年6月17日创建
Consider switching the minimum JDK needed to version 11 (or 17)
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 30/100

crocs-muni/JCProfilerNext#148 · 2026年6月17日创建

只显示最新的 100 条

这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。

前往高级筛选

crocs-muni

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

只显示最新的 100 条

把新 issue 发到你的邮箱